SMC 2004: The Hague, The Netherlands
Elvira Albert, Germán Puebla, Manuel V. Hermenegildo: Experiments in abstract interpretation-based code certification for pervasive systems. 1125-1130- Andres Flores, Juan Carlos Augusto, Macario Polo, Mauricio Varea: Towards context-aware testing for semantic interoperability on PvC environments. 1136-1141
- Xiaohua Luo, Kougen Zheng, Yunhe Pan, Zhaohui Wu: Encryption algorithms comparisons for wireless networked sensors. 1142-1146
- Ichiro Satoh: Software agents for ambient intelligence. 1147-1152
- Bin Wu, Zhaohui Wu, Wenzhi Chen: Component model optimization for distributed real-time embedded software. 1158-1163
- Lianying Zhou, Fengyu Liu, Jie Wu: Research on co-operative computer network security technologies. 1164-1168
- Masahito Kurihara, Hidetoshi Nonaka, Takeshi Yoshikawa: Use of highly accurate GPS in network-based barrier-free street map creation system. 1169-1173
- Hualiang Hu, Deren Chen, Changqin Huang: Research on a Web-service-based architecture oriented to E-business in P2P environment. 1174-1178
- Madhavi Chakrabarty, David Mendonça: Integrating visual and mathematical models for the management of interdependent critical infrastructures. 1179-1184
- Eric A. M. Luiijf, Marieke H. A. Klaver: Protecting a nation's critical infrastructure: the first steps. 1185-1190
- Si-Jung Kim, Moon-Sung Jang, Hong-Sic Kim, Tae-Yong Kuc: A development of interactive game "Ting Ting" using real and virtual objects. 1191-1197
- Fusako Kusunoki, Takuichi Nishimura, Taiki Muramatsu, Ikuko Eguchi Yairi: Interactive Table with Visual and Audiory Feedback for Interactive Art. 1198-1202
- Edward Wah Chung Tsui, Stephen Chi-fai Chan: Segment-based application level multicast (SALM) for supporting group communication in CSCW applications. 1203-1208
- George Katsionis, Maria Virvou: A cognitive theory for affective user modelling in a virtual reality educational game. 1209-1213
- Rozita A. Dara, Mohamed S. Kamel: Effect of sharing training patterns on the performance of classifier ensemble. 1220-1225
- Sarbast M. Rasheed, Daniel W. Stashuk, Mohamed S. Kamel: Multi-classification techniques applied to EMG signal decomposition. 1226-1231
- Devi Parikh, Min T. Kim, Joseph Oagaro, Shreekanth Mandayam, Robi Polikar: Combining classifiers for multisensor data fusion. 1232-1237
- Renren Liu, Ting Wang, Jianer Chen, Songqiao Chen: Some results on the simply separable function sets in partial k-valued logic. 1238-1242
- Tanaka Shin, Kurata Hiroyuki, Takeshi Ohashi: Optimization of E.Coli heat shock response parameter tuning using distributed and integrated genetic algorithms. 1243-1248
- Li Juefeng, Yang Xiaohu, Huang Tao, He Zhijun: Abstract high-maintainable classes from legacy systems based on formal concepts analysis. 1249-1254
- He Zhang, Xiu Li, Wenhuang Liu, Bing Li, Zhihong Zhang: An application of the AHP in 3PL vendor selection of a 4PL system. 1255-1260
- Sam Mavandadi, Parham Aarabi: Multi-sensor information fusion with application to multi-camera systems. 1267-1271
- Zhansheng Duan, Chongzhao Han, Tangfei Tao: Optimal multi-sensor fusion target tracking with correlated measurement noises. 1272-1278
- Michael Maio Pires, Tshilidzi Marwala: American option pricing using multi-layer perceptron and support vector machine. 1279-1285
- Tien-Chin Wang, Jo-Chien Hsu: Evaluation of the business operation performance of the listing companies by applying TOPSIS method. 1286-1291
- Vincent Cliville, Lamia Berrah, Gilles Mauris: Information fusion in industrial performance: a 2-additive Choquet-integral based approach. 1297-1302
- Mohammad Azam, Krishna R. Pattipati, Ann Patterson-Hine: Optimal sensor allocation for fault detection and isolation. 1309-1314
- Scott W. Cunningham, Telli E. van der Lei: Fast and frugal algorithms for adaptive policy. 1315-1320
- Abdelkabir Lahrech, Christophe Boucher, Jean-Charles Noyer: Non-linear filtering for land vehicle navigation with GPS outage. 1321-1325
- Joris Kroon, Richard van Klaveren, Léon J. M. Rothkrantz, Dik de Bruin, Martin Nelisse: Design and test of a communication based advanced driver assistance system. 1326-1330
- Kalle Saastamoinen, Jaakko Ketola, Esko Turunen: Defining athlete's anaerobic and aerobic thresholds by using similarity measures and differential evolution. 1331-1335
- Robert S. Lynch Jr., Peter K. Willett: Quantizing features independently in the Bayesian data reduction algorithm. 1336-1341
- Sandro Glaucio Maquiné de Souza, Thierry Denoeux, Yves Grandvalet: Recycling experiments for sludge monitoring in waste water treatment. 1342-1347
- Zhengmao Ye, Gregory Auner: Principal component analysis approach for biomedical sample identification. 1348-1353
- Keming Xie, Zehua Chen, Gang Xie: The design and simulation of fuzzy controller based on rough sets theory. 1366-1370
- Haider A. Ramadhan: Automatic discovery of association paths in relational databases using software visualization. 1371-1376
- Ayako Hiramatsu, Hiroaki Oiso, Shingo Tamura, Norihisa Komoda: Support system for analyzing open-ended questionnaires data by culling typical opinions. 1377-1382
- Gary Kratkiewicz, Gail Mitchell: An adaptive semantic approach to personal information management. 1395-1400
- Yu Zhou, Chengqing Zong, Bo Xu: Bilingual chunk alignment in statistical machine translation. 1401-1406
- Jianyong Tuo, Shouju Ren, Wenhuang Liu, Xiu Li, Bing Li, Lei Lin: Artificial immune system for fraud detection. 1407-1411
- Ureerat Wattanachon, Chidchanok Lursinsap: Agglomerative hierarchical clustering for nonlinear data analysis. 1420-1425
- Eugene Fink, Aaron Goldstein, Philip J. Hayes, Jaime G. Carbonell: Search for approximate matches in large databases. 1431-1435
- Yukio Horiguchi, Tetsuo Sawaragi, Yasuhiro Kaneda, Akira Nakajima: Knowledge management framework to share technical know-how in organization. 1436-1441
- Lawrence O. Hall, Divya Bhadoria, Kevin W. Bowyer: Learning a model from spatially disjoint data. 1447-1451
- Nobuyuki Kawamura, Yohei Kawakita, Yoshitomo Ikkai, Norihisa Komoda: A high-speed scheduling method by parallel and asymptotic taboo searches for large-scale job shops problems with group constraints. 1452-1457
- Hiroaki Chujo, Yuji Shono, Yoshitomo Ikkai, Norihisa Komoda: A rapid scheduling method with resource selection by flaw analysis for a rectangular cutting stock problem against flawed and connectable resources. 1458-1463
- Kentaro Tsuchida, Hiroaki Oka, Yoshitomo Ikkai, Norihisa Komoda: A robust scheduling method for a job shop problem in production by using data carriers. 1464-1468
- Hisashi Tamaki, Shinzo Kitamura, Hajime Murao: Simulation-based optimization model and metaheuristic solution of multiple crane scheduling problems. 1469-1474
- Itsuo Hatono, Kenichi Kurotani, Kenya Murakami, Nobutada Fujii, Kanji Ueda: A decision support system for designing business strategies - an application to soft drink business. 1475-1480
- Ahmed Souissi, Imed Kacem, Chengbin Chu: Minimizing total tardiness on a single machine with sequence-dependent setup times. 1481-1485
- Zhijian Ji, Long Wang: Quadratic stabilization of uncertain discrete-time switched linear systems. 1492-1497
- Ryan Kammarti, Slim Hammadi, Pierre Borne, Mekki Ksouri: A new hybrid evolutionary approach for the pickup and delivery problem with time windows. 1498-1503
- Jun Ma, W. J. Li, Yang Xu, Z. M. Song: A model for handling linguistic terms in the framework of lattice-valued logic LF(X). 1504-1509
- Hongnian Yu, Hesham Gomma, Shuang Cang, Wende Chen, Yahaya Yusuf: Reducing bullwhip effect using delayed generalized predictive control (DGPC). 1510-1515
- Zofia Verwater-Lukszo, Huub J. H. Roeterink: Decision support system for planning and scheduling in batch-wise plants. 1516-1521
- Guohua Wan: Joint production and delivery scheduling in two-level supply chains: a distributed agent approach. 1522-1526
- Juan Manuel Adán Coello, Ricardo F. de Andrade: Mining heuristics for scheduling distributed hard real-time tasks. 1527-1532
- John M. Cushing, Stephen Allen, Stephanie A. Guerlain: Measuring the effectiveness of an overview display for the mission to launch platform assignment process essential to the Tomahawk strike coordinator. 1533-1537
- Seiichi Miyakoshi, Gordon Cheng: Examining human walking characteristics with a telescopic compass-like biped walker model. 1538-1543
- Yoshisuke Tateyama, Yoshio Matsumoto, Satoshi Kagami: Concentration detection by eye movements: towards supporting a human. 1544-1548
- Yoshifumi Nishida, Toshio Hori, Shin-ichi Murakami, Hiroshi Mizoguchi: Minimally privacy-violative system for locating human by ultrasonic radar embedded on ceiling. 1549-1554
- Yoshifumi Nishida, Koji Kitamura, Yoichi Motomura, Hiroshi Mizoguchi: Infant behavior simulation based on an environmental model and a developmental behavior model. 1555-1560
- Akifumi Nishitani, Yoshifumi Nishida, Toshio Hori, Hiroshi Mizoguchi: Portable ultrasonic 3D tag system based on a quick calibration method. 1561-1568
- Masamichi Shimosaka, Taketoshi Mori, Tatsuya Harada, Tomomasa Sato: Action recognition based on kernel machine encoding qualitative prior knowledge. 1569-1576
- Toshio Hori, Yoshifumi Nishida, Hiroshi Aizawa, Shin-ichi Murakami, Hiroshi Mizoguchi: Distributed sensor network for a home for the aged. 1577-1582
- Taketoshi Mori, Aritoki Takada, Yasuhiko Iwamura, Tomomasa Sato: Automatic human life summarization system in sensory living space. 1583-1588
- Taketoshi Mori, Tatsuya Harada, Tomomasa Sato: Human posture probability density estimation based on actual motion measurement and eigenpostures. 1595-1600
- Mariagrazia Dotoli, Maria Pia Fanti, Giorgio Iacobellis: Comparing deadlock detection and avoidance policies in automated storage and retrieval systems. 1607-1612
- Mariagrazia Dotoli, Maria Pia Fanti, Carlo Meloni: Candidate selection for network design of distributed manufacturing systems. 1613-1618
- Sheng-Luen Chung, Chung-Lun Li: Information rich enough sample paths for machine identification. 1619-1624
- Chung-Yang Liu, Da-Yin Liao: An optimal OHT dispatching system for 300 mm semiconductor manufacturing. 1631-1636
- Elzbieta Roszkowska: Recognizing and handling the livelock problem in AGV systems. 1637-1642
- Hyeong Soo Chang: An adaptation of particle swarm optimization for Markov decision processes. 1643-1648
- Paolo Rocchi: Some notes for the uniform calculus of redundancy. 1649-1653
- Huiran Liu, Zhibin Jiang, Richard Y. K. Fung: An extended object-oriented Petri nets for modeling and analysis automated re-entrant manufacturing systems. 1654-1659
- Guangming Xie, Long Wang: Controllability of periodically switched linear systems with saturating actuators. 1660-1665
- Yih-Kai Lin: Fair control of Petri nets. 1672-1677
- Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva: Design of observers for timed continuous Petri net systems. 1678-1685
- Diego Rodriguez, Armin Zimmermann, Manuel Silva: Two heuristics for the improvement of a two-phase optimization method for manufacturing systems. 1686-1692
- Mei Yu, Long Wang, Tianguang Chu, Guangming Xie: Stabilization of a collection of linear systems with communication constraints. 1693-1698
- Santosh Biswas, Siddhartha Mukhopadhyay, Amit Patra: A discrete event systems approach to online testing of digital VLSI circuits. 1699-1704
- Wang Shouguang, Yan Gangfeng: Synthesis of Petri nets controller for the constraints involving marking vector and Parikh vector. 1705-1710
- Prasanna Sridhar, Mo M. Jamshidi: Discrete event modeling and simulation: V-Lab/spl reg/ - application to wireless sensor networks. 1711-1716
- ZhiWu Li, MengChu Zhou: Some results and open problems concerning elementary siphons of Petri nets. 1717-1722
- Mei Yu, Long Wang, Tianguang Chu, Guangming Xie: Stability of networked control systems with limited communication. 1723-1727
- ZhiWu Li, XiangFeng Zhang: A deadlock prevention approach using elementary siphons for a class of Petri nets. 1728-1733
- Roberto Sánchez-Herrera, Ernesto López-Mellado: Modular and hierarchical modeling of interactive mobile agents. 1740-1745
- Radu Constantin Vlad, Jean-Yves Morel, Marc Bourcerie, Ali Mostakhdemin-Hoseini: Effective management of large networks through the Petri nets-discrete event simulation dualism. 1746-1751
- Wang Shouguang, Zhang Senlin, Yan Gangfeng: Synthesis of Petri net controller to enforce conjunction of GMEC using observer. 1752-1757
- Wang Shouguang, Yan Gangfeng: Synthesis of Petri net controller based local incidence matrix. 1758-1763
- Mei Yu, Guangming Xie, Long Wang: Stabilization of networked control systems with transmission delays. 1764-1769
- Carsten Winkelholz, Christopher M. Schlick: Statistical variable length Markov chains for the parameterization of stochastic user models from sparse data. 1770-1776
- Leila Toursi, Nathalie Sauer: Branch and bound approach for marking optimization problem of weighted marked graphs. 1777-1782
- Guido Maione, David Naso: Discrete-event modeling of heterarchical manufacturing control systems. 1783-1788
- Ascensión Zafra-Cabeza, Miguel A. Ridao, Eduardo F. Camacho: Chance constrained project scheduling under risk. 1789-1794
- Francesco Basile, Ciro Carbone, Pasquale Chiacchio, René K. Boel, Camelia C. Avram: A hybrid model for urban traffic control. 1795-1800
- Denis Manley, Peter Smith: An investigation into computational methods for understanding gene regulation. 1801-1806
- Philippe Declerck, Mohamed Khalid Didi Alaoui: Modelling and analysis of p-time event graphs in the (min, max, +) algebra. 1807-1812
- Mustapha Mostefaoui, Isabel Demongodin, Nathalie Sauer: Transitory state of neutral continuous marked graphs. 1813-1818
- Eduardo De Freitas Rocha Loures, Jean-Claude Pascal: Detection and diagnosis of hybrid dynamic systems based on time fuzzy Petri nets. 1825-1831
- Jana Flochova, Pavol Kolttrik, Peter Drozd: Modular adaptive approaches in DES failure diagnosis and control. 1832-1836
- Raul Campos-Rodriguez, Antonio Ramírez-Treviño, Ernesto López-Mellado: Regulation control of partially observed discrete event systems. 1837-1842
- Jesus F. Sánchez-Blanco, Antonio Ramírez-Treviño, Alejandra Santoyo-Sanchez: Regulation control in interpreted Petri nets using trace equivalence. 1843-1848
- Raul Campos-Rodriguez, Pritpal Dang, José Mireles, Frank L. Lewis: Implementing a multiple specification regulation controller: a case of study. 1849-1856
- Eric Innocenti, Alexandre Muzy, Antoine Aïello, Jean François Santucci, David R. C. Hill: Active-DEVS: a computational model for the simulation of forest fire propagation. 1857-1863
- Xiongfeng Feng, Peter C. Y. Chen, Aun Neow Poo, Javier Ibanez Guzman, Chun Wah Chan: Enhanced supervisory control system design of an unmanned ground vehicle. 1864-1869
- Thomas Bourdeaud'huy, Pascal Yim, Saïd Hanafi: Efficient reachability analysis of bounded Petri nets using constraint programming. 1870-1875
- Giovanni Caire, Giovanni Rimassa, Fabio Bellifemine: JADE: a versatile run-time for distributed applications on mobile terminals and networks. 1882-1888
- Patrik Mihailescu, John W. Shepherdson, Paul Marrow, Lyndon Lee, Habin Lee: MAS platforms as an enabler of enterprise mobilisation: the state of the art. 1889-1894
- Francisco P. Maturana, Raymond J. Staron, Kenwood H. Hall: Real time collaborative intelligent solutions. 1895-1902
- Dingwei Wang: Colony location algorithm for combinatorial optimization. 1903-1909
- Aaron Helsinger, Michael Thome, Todd Wright: Cougaar: a scalable, distributed multi-agent architecture. 1910-1917
- Kay Chen Tan, Tong Heng Lee, Y. J. Yang, D. S. Liu: A cooperative coevolutionary algorithm for multiobjective optimization. 1926-1931
- David Naso, Michele Surico, Biagio Turchiano, Uzay Kaymak: Just-in-time production and delivery in supply chains: a hybrid evolutionary approach. 1932-1937
- Carlos A. Silva, João Miguel da Costa Sousa, José M. G. Sá da Costa, Thomas A. Runkler: A multi-agent approach for supply chain management using ant colony optimization. 1938-1943
- Michael Luck, Steve Munroe, Ronald Ashri, Fabiola López y López: Trust and norms for interaction. 1944-1949
- Dorian Sabaz, William A. Gruver, Michael H. Smith: Distributed systems with agents and holons. 1958-1963
- Gabi Koifman, Onn Shehory, Avigdor Gal: Multi-agent negotiation and price discrimination for information goods. 1964-1971
- Bart Saint Germain, Paul Valckenaers, Paul Verstraete, Hendrik Van Brussel: Resource coordination in supply networks. 1972-1978
- William A. Gruver, Dilip B. Kotak: System architecture for fuel cell based intelligent and distributed energy applications. 1979-1983
- Scott Logie, Dorian Sabaz, William A. Gruver: Sliding window distributed combinatorial scheduling using JADE. 1984-1989
- Zafeer Alibhai, William A. Gruver, Dilip B. Kotak, Dorian Sabaz: Distributed coordination of micro-grids using bilateral contracts. 1990-1995
- Amna AlDahak, Ashraf Elnagar: Planning to find an unpredictable evader using rapidly-exploring random tree. 1996-2001
- Benoit Boulet, Robert DiRaddo, Patrick Girard, Vincent Thomson: An agent based architecture for model based control. 2002-2007
- Nasreddine Hallam, Michael Hartley, Peter Blanchfield, Graham Kendall: Optimisation in a road traffic system using collaborative search. 2008-2012
- Claudio Cubillos, Franco Guidi-Polanco, Claudio Demartini: Multi-agent infrastructure for distributed planning of demand-responsive passenger transportation service. 2013-2017
- Colin Ng, Dorian Sabaz, William A. Gruver: VNET: a distributed algorithm simulator for wireless peer-to-peer networks. 2018-2022
- Tomoharu Nakashima, Masahiro Takatani, Masayo Udo, Hisao Ishibuchi: An evolutionary approach for strategy learning in RoboCup soccer. 2023-2028
- Jeffrey M. Bradshaw, Paul J. Feltovich, Hyuckchul Jung, Shriniwas Kulkarni, James F. Allen, Larry Bunch, Nathanael Chambers, Lucian Galescu, Renia Jeffers, Matthew Johnson, Maarten Sierhuis, William Taysom, Andrzej Uszok, Ron van Hoof: Policy-based coordination in joint human-agent activity. 2029-2036
- Lambert Schomaker: Anticipation in cybernetic systems: a case against mindless anti-representationalism. 2037-2045
- Kevin Warwick, Mark Gasson: Extending the human nervous system through Internet implants experimentation and impact. 2046-2052
- Ignace Th. C. Hooge, Michiel J. Stapelkamp, Eelco A. B. Over, Björn N. S. Vlaskamp, Maarten A. Frens: On the role of attentional inhibition and memory during visual search. 2053-2058
- Sunny Bains: Physical computation and the design of anticipatory systems. 2059-2065
- Elan L. Ohayon, Hon C. Kwan, W. McIntyre Burnham, Piotr Suffczynski, Stiliyan Kalitzin: Emergent complex patterns in autonomous distributed systems: mechanisms for attention recovery and relation to models of clinical epilepsy. 2066-2072
- Tadahiro Taniguchi, Tetsuo Sawaragi: Self-organization of inner symbols for chase: symbol organization and embodiment. 2073-2078
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team