default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSMC 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 Rodríguez, 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