default search action
SMC 2004: The Hague, The Netherlands
- Richard G. Little:
The role of organizational culture and values in the performance of critical infrastructure systems. 4047-4052 - David Mendonça, Earl E. Lee II, William A. Wallace:
Impact of the 2001 World Trade Center attack on critical interdependent infrastructures. 4053-4058 - Rae Zimmerman:
Decision-making and the vulnerability of interdependent critical infrastructure. 4059-4063 - Semir Daskapan, Willem G. Vree, Henk G. Sol:
Building a distributed security defence system. 4064-4071 - Lican Huang, Yin Zhang, Xiuzi Ye:
A scalable semantic grid framework -- VDHA_Grid. 4072-4077 - Wenli Li, Song Zhang, Weihui Dai:
A multi-tiered collaborative commerce model based on the integration of CORBA and EJB. 4078-4083 - Wenqian Shang, Haibin Zhu, Houkuan Huang:
WebCom Miner - a system of trends analysis for company products. 4084-4088 - Rui Cao, YueTing Chai:
The study of the electronic commerce business models. 4089-4094 - Ko-Kang Chu, Tsai-Chen Shen, Yen-Teh Hsia:
Measuring Website popularity and raising designers' effort. 4095-4099 - Weihua Kou, Yang Xu:
Study on multi-intersected copy replication of DDBS. 4100-4105 - Perry P. Y. Lam, Lei Ye, Henry C. B. Chan:
Business-to-consumer and business-to-business Mobile AGent-based Internet Commerce System (MAGICS). 4106-4111 - Xiu Li, Weiyun Ying, Jianyong Tuo, Bing Li, Wenhuang Liu:
Applications of classification trees to consumer credit scoring methods in commercial banks. 4112-4117 - Fang-Chang Lin, Ssu-Chi Chiu, Chih Wai Wu:
A new handover scheme in mobile wireless Internet. 4118-4122 - Luca Canetta, Naoufel Cheikhrouhou, Rémy Glardon, Nikolai Iliev:
Supporting electronic sales channels deployment through the analysis of customer preferences. 4123-4128 - George Pallis, Lefteris Angelis, Athena Vakali, Jaroslav Pokorný:
A probabilistic validation algorithm for Web users' clusters. 4129-4134 - Wujian Yang, Zebing Wang, Mingyu You:
An improved collaborative filtering method for recommendations' generation. 4135-4139 - Eugene Fink, Jianli Gong, John Hershberger:
Multi-attribute exchange market: search for optimal matches. 4140-4146 - Zoran Stojanovic, Ajantha Dahanayake, Henk G. Sol:
Modeling and design of service-oriented architecture. 4147-4152 - Hakan Guler, Stanislav Jovanovic:
The application of modern GIS technology in the development of railway asset management systems. 4153-4158 - Arjen Zoeteman:
Optimizing the performance of railway systems: life cycle costing for rail infrastructure managers. 4159-4164 - Arjen Zoeteman, Coenraad Esveld:
State of the art in railway maintenance management: planning systems and their application in Europe. 4165-4170 - Gabriella Budai, Rommert Dekker, Dennis Huisman:
Scheduling preventive railway maintenance activities. 4171-4176 - Robin P. Nicolai, Gabriella Budai, Rommert Dekker, Mark Vreijling:
Modeling the deterioration of the coating on steel structures: a comparison of methods. 4177-4182 - Menno H. Nagel, Tetsuo Tomiyama:
Intelligent sustainable manufacturing systems, management of the linkage between sustainability and intelligence - an overview. 4183-4188 - James R. Luedtke, Chelsea C. White III:
The value of asset visibility in the supply chain single and dual source models. 4189-4194 - Ying Tang, MengChu Zhou:
Fuzzy-Petri-net based disassembly planning considering human factors. 4195-4200 - Chunxia Lu, Xu Li:
Research on dynamic assignment of design tasks. 4201-4205 - Yujie Mou, Shen-sheng Zhang, Jian Cao:
Supporting collaborative work with process management enhanced corporate portal. 4206-4213 - Hengbin Liao, Tiemin Li, Xiaoqiang Tang:
Singularity analysis of redundant parallel manipulators. 4214-4220 - Velappa Ganapathy, S. Marimuthu, S. G. Ponnambalam:
Tabu search and simulated annealing algorithms for lot-streaming in two-machine flowshop. 4221-4225 - Nestor Siu, Eman Elghoneimy, Yunli Wang, William A. Gruver, Martin Fleetwood, Dilip B. Kotak:
Rough mill component scheduling: heuristic search versus genetic algorithms. 4226-4231 - Xiaolin Zheng, Deren Chen, Zigui Wu:
Secure strategy for networked manufacturing system. 4232-4237 - James M. Tien, Ananth Krishnamurthy, Ali Yasar:
A taxonomic approach to real-time mass customization. 4238-4243 - Saadni Mohamed Salah, Driss Mehdi:
Stability and stabilizability of a class of state retarded uncertain polytopic systems. 4244-4248 - Lizhong Chen, Yongyou Hu, Hongye Su, Jian Chu:
A comparative study for solution methods of a multicomponent distillation model. 4249-4253 - Saravana S. Sankar, R. Rajkumar, Sivalinga Govindarajan Ponnambalam, M. Gurumarimuthu:
Integrated scheduling of material handling and manufacturing activities in flexible manufacturing system. 4254-4259 - Murat Uzam, MengChu Zhou:
Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems. 4260-4265 - Sébastien Henry, Eric Zamaï, Mireille Jacomino:
Real time reconfiguration of manufacturing systems. 4266-4271 - Abdallah Ghariani, Armand Toguyéni, Etienne Craye:
Towards an approach to automate reconfiguration procedure in automated production systems. 4272-4277 - Patrice Bonhomme, Gérard Berthelot, Pascal Aygalinc, Soizick Calvez:
Verification technique for time Petri nets. 4278-4283 - Wei Jian, Yuncan Xue, Hongbin Du:
Optimum steelmaking cast plan using improved genetic algorithm. 4284-4289 - Xumin Liu, Houkuan Huang, Weixiang Xu:
An intelligent system of on space surface modeling. 4290-4295 - Zhifeng Tang, Zhanqin Xiang, Fuzai Lv:
Modeling and control method study of magnetostrictive micropositioner and its application. 4296-4300 - Chang-Joon Oh, Young Joong Lee, Young-Joon Han, Chung Sam Ahn:
A new system for reducing the bonding process cycle time and increasing the accuracy of bonding diagram. 4301-4305 - Nadia Hamani, Nathalie Dangoumau, Etienne Craye:
A formal approach for reactive mode handling. 4306-4311 - Chuan-Yu Chang, Jia-Wei Chang, MuDer Jeng:
Using a self-organizing neural network for wafer defect inspection. 4312-4317 - Xijuan Liu, Yinglin Wang:
CBR based design process metrics modeling for upcoming project optimization. 4318-4323 - Osvaldo Barbarisi, Carmen Del Vecchio, Luigi Glielmo, Francesco Vasca:
Why adopting UML to model hybrid manufacturing systems? 4324-4329 - Jean-Christophe Deschamps, Jean-Baptiste Menye, Jean-Paul Bourrières:
Decision making time assessment in multi-level periodic production management. 4330-4335 - Pablo Alberto Dalbem de Castro, Matheus Giovanni Pires, Heloisa de Arruda Camargo, Orides Morandin Jr., Edilson R. R. Kato:
Genetic learning of fuzzy rules applied to sequencing problem of FMS. 4336-4341 - Feng Chu, Chengbin Chu, Xiao Liu:
Lot sizing models with backlog or out-sourcing. 4342-4347 - Zheng Wang, Dinghua Zhang, Weiping He:
Using introspection and prototype driven to achieve design analysis in the process of concept generation based on information processing. 4348-4353 - Mauro Jose Carlos e Silva, Wellington João Silva, Paulo Romero Martins Maciel:
Modelling and analysis in production system: an approach based on Petri net. 4354-4359 - Yuncan Xue, Hongbin Du, Wei Jian:
Optimum steelmaking charge plan using artificial fish swarm optimization algorithm. 4360-4364 - Zheng Wang, Weiping He, Dinghua Zhang:
Research and application of visual thinking in design for manufacture. 4365-4370 - Thècle Alix, Marc Zolghadri, Jean-Paul Bourrières:
A decision support system for production and procurement planning of enterprises X-networks. 4371-4376 - Ming-Yuan Shieh, J. C. Hsieh, C. P. Cheng:
Design of an intelligent hospital service robot and its applications. 4377-4382 - Fumio Kasagami, Hongbo Wang, Masahiko Araya, Ichiro Sakuma, Takeyoshi Dohi:
Development of a robot to assist patient transfer. 4383-4388 - Fan Zhang, Zhe Yin, Liwen Guan, Liping Wang:
Research on combined framework and measurement design of parallel kinematic machines (PKM) digital prototyping. 4389-4393 - Zhao-Hui Jiang:
End-effector robust trajectory tracking control for flexible robot manipulators. 4394-4399 - Shoichiro Fujisawa, Masanobu Obika, Toru Yamamoto, Kazuo Kawada, Osamu Sueda:
Speed control of 3-mass system with sliding mode control and CMAC. 4400-4407 - Atsushi Iwashita, Makoto Shimojo:
Development of a mixed signal LSI for tactile data processing. 4408-4413 - Raul Wirz, Raúl Marín:
Remote programming of an Internet tele-lab for learning visual servoing techniques: a case study. 4414-4419 - Takanori Miyoshi, Kazuhiko Terashima:
Development of vertical power-assisted crane system to reduce the operators' burden. 4420-4425 - Nicholas Krouglicof, Luisa Alonso, William D. Keat:
Development of a mechanically coupled, six degree-of-freedom load platform for biomechanics and sports medicine. 4426-4431 - Takayuki Hoshino, Takafumi Suzuki, Masanori Tomono, Makoto Shimojo, Ryuji Furusawa, Kunihiko Mabuchi:
Development of a motion support system by using an electromyogram - signal processing of an electromyogram to estimate the biomechanical characteristics of joints. 4432-4437 - Weihai Chen, Mingming Yang, Shouqian Yu, Tianmiao Wang:
A hybrid algorithm for the kinematic control of redundant robots. 4438-4443 - Yutaka Takaoka, Yusuke Kida, Satoshi Kagami, Hiroshi Mizoguchi, Takeo Kanade:
3D map building for a humanoid robot by using visual odometry. 4444-4449 - Shinya Aoi, Kazuo Tsuchiya:
Stability analysis of a simple walking model driven by a nonlinear oscillator. 4450-4455 - Reza Ravani, Ali Meghdari:
Spatial rational motions based on rational frenet-serret curves. 4456-4461 - Chung-Hsien Kuo, Yu-Lin Tsai, Fang-Chun Huang, Ming-Yih Lee:
Development of image servo tracking robot for the surgical space positioning system. 4462-4467 - Yuehua Zhao, Wenyi Shao, Gang Wang:
UWB microwave imaging for early breast cancer detection: effect of two synthetic antenna array configurations. 4468-4473 - Weixing Wang:
Colony detecting and analysis. 4474-4479 - Hong Shao, Wen-cheng Cui, Hong Zhao:
Automatic analysis of brain pathology based on image content. 4480-4484 - Juana López Redondo, Pilar Martínez Ortigosa, Inmaculada García, José-Jesús Fernández:
A global optimization approach to image translational alignment in electron microscopy. 4485-4490 - Maciej Dajnowiec, Javad Alirezaie:
Computer simulation for segmentation of lung nodules in CT images. 4491-4496 - Akihiro Koretsune, Takefumi Konzo, Ryosuke Saga, Hiroshi Tsuji:
SCM simulator with uncertain parameters. 4497-4502 - Kiyotaka Shimada, Toshiyuki Miyamoto, Sadatoshi Kumagai:
A supply chain model using market-oriented programming to an inventory management strategy in consideration of lead time. 4503-4508 - Rei Itsuki, Norihiko Kotani, Norihisa Komoda:
A recycle chain management system concept and an analysis method using RF-ID tags. 4509-4514 - Karim Labadi, Haoxun Chen, Lionel Amodeo:
Batch deterministic and stochastic Petri nets modeling, analysis and its application to supply chain. 4515-4520 - Hongwei Ding, Lyès Benyoucef, Xiaolan Xie:
A simulation-based optimization method for production-distribution network design. 4521-4526 - Anthony Valla, Valerie Botta-Genoulaz, Alain Guinet:
Supply chain business process oriented analysis. 4527-4534 - Hing Kai Chan, Felix T. S. Chan:
A coordination framework for distributed supply chains. 4535-4540 - Mariëlle den Hengst, Paulien M. Herder:
'Quick and dirty' modeling in a decision support tool for supply chain design. 4541-4546 - Wei Jian, Yuncan Xue, Jixin Qian:
An application of algebraic Petri nets specification for vendor management inventory. 4547-4552 - Andreas Bender, Hamse Y. Mussa, Gurprem S. Gill, Robert C. Glen:
Molecular surface point environments for virtual screening and the elucidation of binding patterns (MOLPRINT). 4553-4558 - Thorsten Meinl, Michael R. Berthold:
Hybrid fragment mining with MoFa and FSG. 4559-4564 - Christian Borgelt, Thorsten Meinl, Michael R. Berthold:
Advanced pruning strategies to speed up mining closed molecular fragments. 4565-4570 - Siegfried Nijssen, Joost N. Kok:
Frequent graph mining and its application to molecular databases. 4571-4577 - Ingrid Fischer, Thorsten Meinl:
Graph based molecular data mining - an overview. 4578-4582 - Yoshimasa Takahashi:
Chemical data mining based on non-terminal vertex graph. 4583-4587 - An Zeng, Qi Lun Zheng, Dan Pan, Hong Peng:
Utilizing modular neural networks to predict MHC class II-binding peptides. 4588-4592 - Xuan Xiao, Shihuang Shao, Yongsheng Ding, Xiaojing Chen:
Digital coding for amino acid based on cellular automata. 4593-4598 - Johan A. Pouwelse, Jacco R. Taal, Reginald L. Lagendijk, Dick H. J. Epema, Henk J. Sips:
Real-time video delivery using peer-to-peer bartering networks and multiple description coding. 4599-4605 - Jorge Sá Silva, Tiago Camilo, André Costa, Carlos Matos, Fernando Boavida:
Exploring network mobility in IPv6 environments: issues and lessons learnt. 4606-4611 - Nick Blundell, Laurent Mathy:
Towards (perceived) latency minimisation in audio-conferencing systems over application-level multicast. 4612-4618 - Gísli Hjálmtýsson, Björn Brynjúlfsson, Ólafur Ragnar Helgason:
Self-configuring lightweight Internet multicast protocol specification. 4619-4624 - Milena Janic, Piet Van Mieghem:
The gain and cost of multicast routing trees. 4625-4630 - Hans-Peter Dommel, Sanjeev K. Verma:
Multipoint synchronization protocol. 4631-4635 - Ernst Ten Heuvelhof:
New regulation on strategic behaviour in network-based industries. 4637-4642 - S. van Herk, Paulien M. Herder, M. J. de Jong, D. S. M. Alma:
Opportunities and threats for granting more design space to road contractors. 4643-4649 - Koen H. van Dam, Jaap A. Ottjes, Gabriël Lodewijks, Zofia Verwater-Lukszo, René W. Wagenaar:
Intelligent infrastructures: distributed intelligence in transport system control - an illustrative example. 4650-4654 - Mark de Bruijne:
Next generation critical infrastructures: the push and pull to real-time. 4655-4661 - Daniel Roos, Richard de Neufville, Fred Moavenzadeh, Stephen Connors:
The design and development of next generation infrastructure systems. 4662-4666 - Robin G. Qiu:
Manufacturing grid: a next generation manufacturing model. 4667-4672 - Amr Ali Eldin, René W. Wagenaar:
Towards users driven privacy control. 4673-4679 - Pedro Nuno Miranda de Sousa, Paulo Carvalho, Vasco Freitas:
Improving the quality and reliability of traffic differentiation in IP networks. 4680-4685 - W. T. Liu, Ray Y. W. Lam, Henry C. B. Chan:
Design of an active forwarding scheme for ISDN3. 4686-4691 - Alexander Hämmerle, Anthony Karageorgos, Michael Pirker, Alois Reitbauer, Georg Weichhart:
A role-based infrastructure for customised agent system development in supply networks. 4692-4699 - Michael J. Callaghan, Jim Harkin, T. Martin McGinnity, Liam P. Maguire:
Cost effectiveness issues in remote experimentation. 4700-4704 - Hsi-Feng Lu, Yao-Chung Chang, Hsing-Hsien Hu, Jiann-Liang Chen:
Power-efficient scheduling method in sensor networks. 4705-4710 - Marnix Kaart, Jan-Pascal van Best, Willem G. Vree, Leen Torenvliet:
The importance of measurements for Internet policy. 4711-4716 - Te-Wei Chiang, Tienwei Tsai:
A statistical mask-matching approach for recognizing handwritten characters in Chinese paleography. 4717-4721 - Sanyuan Zhang, Mingli Zhang, Xiuzi Ye:
Car plate character extraction under complicated environment. 4722-4726 - Li Zhuang, Ta Bao, Xiaoyan Zhu, Chunheng Wang, Satoshi Naoi:
A Chinese OCR spelling check approach based on statistical language models. 4727-4732 - Xiang Pan, Xiuzi Ye, Sanyuan Zhang:
A hybrid method for robust car plate character recognition. 4733-4737 - Fu Chang, Chien-Hsing Chou, Chin-Chin Lin, Chun-Jen Chen:
A prototype classification method and its application to handwritten character recognition. 4738-4743 - Hung-Pin Chen, Ming-Hwa Chan, Yn-Her Juang:
Recognition of blurred plate numbers using a novel algorithm based on Hopfield neural network. 4744-4749 - Khaled Ahmed Nagaty, Ezz Hattab:
An approach to a fingerprints multi-agent parallel matching system. 4750-4756 - José Salvador Sánchez, José Martínez Sotoca, Filiberto Pla:
Efficient nearest neighbor classification with data reduction and fast search algorithms. 4757-4762 - Banchar Arnonkijpanich, Chidchanok Lursinsap:
Natural morphological extraction based on the nonlinear manifold pursuit (NMP) algorithm. 4763-4767 - Lev-Arie Ratinov, Solomon Eyal Shimony, Ehud Gudes:
Probabilistic model for schema understanding and matching. 4768-4773 - Hani Hamdan, Gérard Govaert:
CEM algorithm for imprecise data. Application to flaw diagnosis using acoustic emission. 4774-4779 - Kazuhiro Matsui, Haruo Sato:
Evolutionary feature selection in boosting. 4780-4785 - Samia Nefti, Mourad Oussalah:
Probabilistic-fuzzy clustering algorithm. 4786-4791 - Wai Han Ho, Paul Andrew Watters:
Statistical and structural approaches to filtering Internet pornography. 4792-4798 - Ying Liu, Chengqing Zong:
The technical analysis on translation templates. 4799-4803 - Xianchuan Yu, Xiaochun Cheng:
Research of independent component analysis. 4804-4809 - Yingfeng Chen, Lianying Zhou:
An innovative IDS immune system model. 4810-4814 - Chi-kin Chow, Hung-Tat Tsui:
Sequential RBF function estimator: memory regression network. 4815-4820 - A. Kai Qin, Ponnuthurai N. Suganthan, Jing J. Liang:
A new generalized LVQ algorithm via harmonic to minimum distance measure transition. 4821-4825 - Rozita A. Dara, Masoud Makrehchi, Mohamed S. Kamel:
An information-theoretic measure to evaluate data partitions in multiple classifiers. 4826-4831 - Christos Pateritsas, Minas Pertselakis, Andreas Stafylopatis:
A SOM-based classifier with enhanced structure learning. 4832-4837 - Ernesto Jiménez-Ruiz, Raúl Marín, Pedro J. Sanz:
A soft computing classifier based on Fourier descriptors within online robots context. 4838-4843 - Koichi Ikuta, Hiroaki Tanaka, Ken-ichi Tanaka, Kazuo Kyuma:
Learning algorithm by reinforcement signals for the automatic recognition system. 4844-4848 - ZhiWu Li, Hesuan Hu, MengChu Zhou:
An algorithm for an optimal set of elementary siphons in Petri nets for deadlock control. 4849-4854 - Petri Mikkilä, Mikko Tiusanen:
Comparing protocol stacks using stochastic Petri nets. 4855-4860 - ZhiWu Li, YunAn Zhi, MengChu Zhou:
A polynomial algorithm to find a set of elementary siphons in a class of Petri nets. 4861-4866 - Yi-Sheng Huang, Jenn-Huei Lin, Chien-Nin Hsu:
Comparison of deadlock prevention policies in FMS based on Petri nets siphons. 4867-4872 - Bhushan Bauskar, Boleslaw Mikolajczak:
Modeling inheritance anomaly in concurrent systems using colored Petri nets. 4873-4878 - Boleslaw Mikolajczak, Sachin Joshi:
Modeling of information systems security features with colored Petri nets. 4879-4884 - Xiaoou Li, Sergio V. Chapa, Joselito Medina, Jovita Martinez:
An application of conditional colored Petri nets: active database system. 4885-4890 - YuanLin Wen, MuDer Jeng:
Diagnosability of Petri nets. 4891-4896 - Emilio Jiménez, Jorge Júlvez, Laura Recalde, Manuel Silva Suárez:
Relaxed continuous views of discrete event systems: considerations on Forrester diagrams and Petri nets. 4897-4904 - Martina Svadova, Zdenek Hanzálek:
An algorithm for the evolution graph of extended hybrid Petri nets. 4905-4910 - Zhengjin Xiao, Qichun Huang, Qi Chen, Yangguang Liu:
The syntactical analysis of workflow model with loop structure. 4911-4916 - Nabil Jerbi, Simon Collart Dutilleul, Etienne Craye, Mohamed Benrejeb:
Robust control of multi-product job-shops in repetitive functioning mode. 4917-4922 - Olfa Belkahla Driss, Pascal Yim, Ouajdi Korbaa, Khaled Ghédira:
Reachability search in timed Petri nets using constraint programming. 4923-4928 - Elvia Ruiz-Beltrán, Antonio Ramírez-Treviño, Ernesto López-Mellado:
Building diagnosable Petri net models for distributed fault location of DES. 4929-4934 - Ali A. Pouyan, Steve Reeves:
Behavioral modeling for mobile agent systems using Petri nets. 4935-4940 - Peishun Liu, Jianbo Wang, Dake He:
Worm detection using CPN. 4941-4946 - Stéphane Julia, Fernanda Francielle de Oliveira:
A p-time hybrid Petri net model for the scheduling problem of workflow management systems. 4947-4952 - Hao Yin, Zhangxi Tan, Chuang Lin, Yixin Jiang, Feng Qiu:
Modeling mobile Web services flow using generalized stochastic high-level Petri net. 4953-4958 - Wei Zhang, Xin Xia, Zhangxi Tan:
Modeling just-in-time protocol for WDM optical burst switching networks using general stochastic high level Petri net. 4959-4964 - Duan Zhang, Huaping Dai, Youxian Sun:
An algebraic model for performance evaluation of a class of continuous Petri nets. 4965-4970 - Thouraya Bouabana-Tebibel, Mounira Belmesk:
Formalization of UML object dynamics and behavior. 4971-4976 - Cássio L. Rodrigues, Dalton Serey Guerrero, Jorge C. A. de Figueiredo:
Model checking in object-oriented Petri nets. 4977-4982 - Albano Portela Machado, Paulo Romero Martins Maciel, Edna Barros:
A Petri net based method for functional and interconnect units estimation. 4983-4988 - Jesus F. Sánchez-Blanco, Antonio Ramírez-Treviño, Alejandra Santoyo-Sanchez:
Multiple specification regulation control in interpreted Petri nets. 4989-4994 - Azzedine Yahiaoui:
Modelling and evaluating dynamic switching networks using stochastic Petri nets. 4995-5000 - Chung-Hsien Kuo:
Development of distributed agent-oriented Petri net simulation and control environment for discrete event dynamic systems. 5001-5006
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.