default search action
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 - Kim S. Henriksen, John P. Gallagher:
Analysis and specialisation of a PIC processor. 1131-1135 - 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 - Qing Wu, Zhaohui Wu, Ying Li:
TREM: trustworthy and reliable embedded middleware model. 1153-1157 - 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 - Ludmila I. Kuncheva, Stefan Todorov Hadjitodorov:
Using diversity in cluster ensembles. 1214-1219 - 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 - Juefeng Li, Xiaohu Yang, Tao Huang, Zhijun He:
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 - Yan Radovilsky, Solomon Eyal Shimony:
Generalized model for rational game tree search. 1261-1266 - 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 - Wenshu Li, Changle Zhou:
Face recognition using feature combination and improved LDA. 1292-1296 - Vincent Clivillé, Lamia Berrah, Gilles Mauris:
Information fusion in industrial performance: a 2-additive Choquet-integral based approach. 1297-1302 - Ju Jiang, Mohamed S. Kamel, Lei Chen:
Reinforcement learning and aggregation. 1303-1308 - 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 - Kai Song, Hai-Qing Wang, Ping Li:
PLS-based optimal quality control model for TE process. 1354-1359 - Lingke Zhou, Hongye Su, Jian Chu:
A study of nonlinear dynamic data reconciliation. 1360-1365 - Keming Xie, Zehua Chen, Gang Xie:
The design and simulation of fuzzy controller based on rough sets theory. 1366-1370 - Haider Ali 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 - Tali Hildeshaim, Solomon Eyal Shimony:
Adapting existing BKB structures using new data. 1383-1387 - Gongde Guo, Hui Wang, Zhining Liao:
G probability-based method and its application. 1388-1394 - 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 - Xiuling Zhou, Chengyi Sun:
Convergence of MEC in bounded and continuous search space. 1412-1419 - Ureerat Wattanachon, Chidchanok Lursinsap:
Agglomerative hierarchical clustering for nonlinear data analysis. 1420-1425 - Meng Xu, Yinglin Wang:
Ontology based unstructured text query. 1426-1430 - 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 - Marin Simina, Adam Edelman, Costin Barbu:
ImageScour: a specialized search engine. 1442-1446 - 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 - Juqi Liu, Yueting Chai, Yi Liu:
A new queueing model for the location problem. 1486-1491 - 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 - Marco Gillies, Daniel Ballin:
Affective interactions between expressive characters. 1589-1594 - Taketoshi Mori, Tatsuya Harada, Tomomasa Sato:
Human posture probability density estimation based on actual motion measurement and eigenpostures. 1595-1600 - Wei-Chen Lin, Da-Yin Liao:
A tabu search algorithm for satellite imaging scheduling. 1601-1606 - 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 - Marc Bourcerie, Jean-Yves Morel:
On the analysis and synthesis of coloured Petri nets. 1625-1630 - 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 - Yu Ru, Weimin Wu, Hongye Su, Jian Chu:
State feedback based deadlock-free supervisor synthesis for bounded Petri nets. 1666-1671 - Yih-Kai Lin:
Fair control of Petri nets. 1672-1677 - Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva Suárez:
Design of observers for timed continuous Petri net systems. 1678-1685 - Diego Rodriguez, Armin Zimmermann, Manuel Silva Suárez:
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 - Shouguang Wang, Gangfeng Yan:
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© - 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 - Naiqi Wu, Liping Bai, Chengbin Chu:
Hybrid Petri net modeling for refinery process. 1734-1739 - 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 - Shouguang Wang, Senlin Zhang, Gangfeng Yan:
Synthesis of Petri net controller to enforce conjunction of GMEC using observer. 1752-1757 - Shouguang Wang, Gangfeng Yan:
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 - Aissam Belabbas, Pascal Berruet:
FMS reconfiguration based on Petri nets models. 1819-1824 - 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 Ibañez-Guzmán, 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 - Christoph Weckerle, Linda Strick:
Mobile agents in a P2P world. 1876-1881 - 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 - Dominic A. P. Greenwood, Monique Calisti:
Engineering Web service - agent integration. 1918-1925 - 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 - Vladimír Marík, Michal Pechoucek:
Social knowledge in multi-agent systems. 1950-1957 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.