![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
CASE 2007: Scottsdale, Arizona, USA
- IEEE Conference on Automation Science and Engineering, CASE 2007, September 22-25, 2007. Scottsdale, Arizona, USA. IEEE 2007, ISBN 978-1-4244-1154-2
- Mi Zhao, Zhiwu Li, MengChu Zhou:
On Supervisory Control of a Class of Discrete Event Systems Modeled by Petri Nets. 1-6 - Francesco Basile
, Alessandro Giua
, Carla Seatzu:
Decentralized Supervisory Control of Petri Nets with Monitor Places. 7-13 - Avenir Kobetski, Johan Richardsson, Knut Åkesson, Martin Fabian:
Minimization of Expected Cycle Time in Manufacturing Cells with Uncontrollable Behavior. 14-19 - Petter Falkman, Bengt Lennartson, Kristin Andersson:
Specification of Production Systems using PPN and Sequential Operation Charts. 20-25 - Francesco Basile
, Pasquale Chiacchio
, Gianmaria De Tommasi
:
Improving on-line fault diagnosis for discrete event systems using time. 26-32 - Tomoki Shibata, Xuerui Zhang, Xue Hai, Yasuhiro Shimizu, Shigeru Fujimura:
Generalization of Scheduling Information Acquired Through User Manipulation for Self-construction Production Scheduling System. 33-38 - Micky Rakotondrabe, Cédric Clévy
, Philippe Lutz:
Modelling and Robust Position/Force Control of a Piezoelectric Microgripper. 39-44 - Rongliang Zhou, William Gressick, John T. Wen
, Michael K. Jensen, Joe Frankel, Grey Lerner, Mark Unrath:
Active Thermal Management for Precision Positioning. 45-50 - Daniel Jasper, Christian Dahmen, Sergej Fatikow:
CameraMan - Robot Cell with Flexible Vision Feedback for Automated Nanohandling inside SEMs. 51-56 - Bradley Kratochvil, Lixin Dong
, Li Zhang, Bradley J. Nelson:
Automatic Nanorobotic Characterization of Anomalously Rolled-up SiGe/Si Helical Nanobelts through Vision-based Force Measurement. 57-62 - John D. Wason, William Gressick, John T. Wen, Jason Gorman, Nicholas G. Dagalakis:
Multi-Probe Micro-Assembly. 63-68 - Atsushi Mitani, Toshiatsu Yoshimura, Shinichi Hirai
:
Feeding of Submillimeter-sized Microparts along a Saw-tooth Surface Using Only Horizontal Vibration: Analysis of Convexities on the Surface of Microparts. 69-76 - Shengwei Ding, Raha Akhavan-Tabatabaei
, J. George Shanthikumar:
Stochastic Modeling for Serial-Batching Workstations with Heterogeneous Machines. 77-81 - Christoph Habla, Lars Mönch, Rene Driessel:
A Finite Capacity Production Planning Approach for Semiconductor Manufacturing. 82-87 - James R. Morrison, Maruthi Kumar Mutnuri:
On the Throughput of Clustered Photolithography Tools: Wafer Advancement and Intrinsic Equipment Loss. 88-93 - Christoph Habla, Rene Driessel, Lars Mönch, Thomas Ponsignon
, Hans Ehm:
A Short-Term Forecast Method for Demand Quantities in Semiconductor Manufacturing. 94-99 - Na Geng, Zhibin Jiang:
Capacity Planning for Semiconductor Wafer Fabrication with Uncertain Demand and Capacity. 100-105 - Yang Sun, Andrew L. Feller, Dan L. Shunk, John W. Fowler
, Thomas E. Callarman, Brett Marc Duarte:
Decision Paradigms in the Semiconductor Supply Chain: A Survey and Analysis. 106-110 - Takao Fukui, Masaki Nobuhiro, Yoshio Sekino, Ikuo Maeda, Atsushi Matsumoto, Toshihiro Fujita:
Requirement of three-position enabling switches for installing in enabling devices to achieve operational safety of robotics and automation applications. 111-116 - Oscar Ljungkrantz, Knut Åkesson:
A Study of Industrial Logic Control Programming using Library Components. 117-122 - Liya Gu, Sophie Hennequin, Alexandre Tiberiu Sava
, Xiaolan Xie:
Assembly Line Balancing Problems Solved by Estimation of Distribution. 123-127 - Mildreth Alcaraz-Mejia
, Ernesto López-Mellado, Antonio Ramírez-Treviño
:
Redundancy Based Controller Reconfiguration for Fault Recovery of Manufacturing Systems. 128-133 - Yao Lu, Jijie Xu, Zexiang Li
:
Development and implementation of NURBS interpolator with look-ahead technique. 134-139 - Yusuke Shiomi, Masao Sugi, Jun Ota
, Tsuyoshi Okubo, Masashi Yamamoto, Hiroshi Kojima, Kazuyoshi Inoue:
The Solution of 2-Dimensional Rectangular Cutting Stock Problem Considering Cutting Process. 140-145 - Cristian Luciano, Pat P. Banerjee, Silvio H. R. Rizzi:
GPU-based elastic-object deformation for enhancement of existing haptic applications. 146-151 - Silvio H. R. Rizzi, Pat P. Banerjee, Cristian Luciano:
Automating the Extraction of 3D Models from Medical Images for Virtual Reality and Haptic Simulations. 152-157 - Satheesh Ramachandran, Madhav Erraguntla, Richard J. Mayer, Perakath C. Benjamin:
Data Mining in Military Health Systems - Clinical and Administrative Applications. 158-163 - Monica Reggiani
, Massimo Zuppini, Paolo Fiorini:
A Software Framework for Process Control in the Agroindustrial Sector. 164-169 - Jacek Malec
, Anders Nilsson, Klas Nilsson, Slawomir Nowaczyk
:
Knowledge-Based Reconfiguration of Automation Systems. 170-175 - Dong Wei, Mohsen A. Jafari, Yan Lu:
On Protecting Industrial Automation and Control Systems against Electronic Attacks. 176-181 - Mohan Yogeswaran, S. G. Ponnambalam
, Manoj Kumar Tiwari:
An hybrid heuristic using genetic algorithm and simulated annealing algorithm to solve machine loading problem in FMS. 182-187 - Tongdan Jin, Fethi Belkhouche, Chen-Han Sung:
A Consolidated Approach to Minimize Semiconductor Production Loss Due to Unscheduled ATE Downtime. 188-193 - Maria Paola Cabasino, Alessandro Giua
, Cristian Mahulea
, Laura Recalde, Carla Seatzu, Manuel Silva Suárez:
State Estimation of Petri Nets by Transformation. 194-199 - Spiridon Reveliotis, Elzbieta Roszkowska, Jin Young Choi:
Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies through Mathematical Programming. 200-206 - Tord Alenljung, Markus Sköldstam, Bengt Lennartson, Knut Åkesson:
PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems. 207-212 - Huai Zhang, Zhibin Jiang, Hongtao Hu:
Multi-criteria Dynamic Scheduling Methodology for Controlling a Semiconductor Wafer Fabrication System. 213-218 - Kyong-Soo Kim, Zhiqun Lin, Pranav Shrotriya
, Sriram Sundararajan
, Qingze Zou:
Iterative Control Approach to High-Speed Force-Distance Curve Measurement Using AFM for Biological Applications. 219-224 - Mohit Kumar, Norbert Stoll, David Kaber
, Kerstin Thurow, Regina Stoll
:
Fuzzy Filtering for an Intelligent Interpretation of Medical Data. 225-230 - Vincent Augusto
, Xiaolan Xie, Frédéric Grimaud:
A Framework for the Modeling and Simulation of Health Care Systems. 231-236 - Mohit Kumar, Kerstin Thurow, Norbert Stoll, Regina Stoll
:
Fuzzy Handling of Uncertainties in Modeling the Inhibition of Glycogen Synthase Kinase-3 by Paullones. 237-242 - Wenhui Wang, Yu Sun
, Scott J. Dixon, Mariam Alexander, Peter J. Roy:
A Micropositioning System with Real-Time Feature Extraction Capability for Quantifying C. elegans Locomotive Behavior. 243-248 - Hemant J. Nagarsheth, Sachin V. Surve, Mansi A. Patel:
Computer Simulation of Dynamics of Human Leg. 249-254 - Mike Tao Zhang, Ken Goldberg
:
Calibration of Wafer Handling Robots: A Fixturing Approach. 255-260 - Gero Grau, Jörg Weigang, Kilian Schmidt:
Improving dispatch rules for cascading tools. 261-264 - Chen-Fu Chien, Jei-Zheng Wu
:
Structuring Manufacturing Strategy. 265-269 - Fan-Tien Cheng
, Hsien-Cheng Huang, Chi-An Kao:
Development of a Dual-Phase Virtual Metrology Scheme. 270-275 - Yu-Chuan Su, Tung-Ho Lin, Fan-Tien Cheng
, Wei-Ming Wu:
Implementation Considerations of Various Virtual Metrology Algorithms. 276-281 - Hsien-Cheng Huang, Yu-Chuan Su, Fan-Tien Cheng
, Jia-Mau Jian:
Development of a Generic Virtual Metrology Framework. 282-287 - Jae-Sook Cheong, A. Frank van der Stappen
:
Computing All Independent Form-Closure Grasp Regions of a Rectilinear Polyhedron. 288-294 - Steven D. Somes, David J. Buckmaster
, Wyatt S. Newman
:
Overcoming Traditional Automation Limitations Through Compliant Control and Contact Sensing. 295-299 - Zhuo Liu, Yoke San Wong, Kim Seng Lee:
Towards Effective Multi-platforming Design of Product Family using Genetic Algorithm. 300-305 - Harald Staab, Arne Sonnenburg, Christof Hieger:
The DOHELIX-Muscle: A Novel Technical Muscle for Bionic Robots and Actuating Drive Applications. 306-311 - Michael M. Marefat, Chandan Pitta:
Similarity-Based Retrieval of CAD Solid Models for Automated Reuse of Machining Process Plans. 312-317 - Onno C. Goemans, Marshall T. Anderson, Ken Goldberg
, A. Frank van der Stappen
:
Automated Feeding of Industrial Parts with Modular Blades: Design Software, Physical Experiments, and an Improved Algorithm. 318-325 - Xiaohui Xiao, Gongping Wu, Sanping Li:
Dynamic Coupling Simulation of a Power Transmission Line Inspection Robot with its Flexible Moving Path when Overcoming Obstacles. 326-331 - Ngai Ming Kwok, Van Thuyen Ngo, Quang Phuc Ha:
PSO-Based Cooperative Control of Multiple Mobile Robots in Parameter-Tuned Formations. 332-337 - Todd D. Murphey
:
Geometric Derived Information Spaces in Manipulation with Mechanical Contact. 338-345 - Jiangzhao Yang, Dongjun Zhang, Zexiang Li
:
Modeling and Identification for High-Speed Milling Machines. 346-351 - Wenqi Guo, Mengchu Zhou, Dong Wei:
DiagramDraw: A State Machine Diagram Designer for Flexible Automation. 352-356 - Roy A. Gomez Morales, Jose Isidro Garcia, Paulo Eigi Miyagi
:
Diagnosis and Treatment of Faults in Productive Systems based on Bayesian Networks and Petri Net. 357-362 - Wenhui Wang, Xinyu Liu, Yu Sun
:
Autonomous Zebrafish Embryo Injection Using a Microrobotic System. 363-368 - Thanh Hung Tran, Ngai Ming Kwok, Steven Scheding, Quang Phuc Ha:
Dynamic Modelling of Wheel-Terrain Interaction of a UGV. 369-374 - Ehsan Saeedi, Samuel S. Kim, James R. Etzkorn, Deirdre R. Meldrum, Babak A. Parviz:
Automation and yield of micron-scale self-assembly processes. 375-380 - Arne Allwardt, Christian Wendler, Silke Holzmüller-Laue, Norbert Stoll, Kerstin Thurow:
Enhancing the Throughput of Catalyst Screening Labs by Integration of a High Pressure Microplate Reactor. 381-385 - Timothy W. Molter, Sarah McQuaide, Meng Zhang, Mark Holl, Lloyd W. Burgess, Mary E. Lidstrom, Deirdre R. Meldrum:
Algorithm Advancements for the Measurement of Single Cell Oxygen Consumption Rates. 386-391 - Wai Kin Chan, Jingang Yi, Shengwei Ding:
On the Optimality of One-Unit Cycle Scheduling of Multi-Cluster Tools with Single-Blade Robots. 392-397 - Chong Wang, Jingshan Li:
Approximate Analysis of Re-Entrant Lines with Bernoulli Reliability Models. 398-403 - Mostafa Vahedi, A. Frank van der Stappen
:
Geometric Properties and Computation of Three-Finger Caging Grasps of Convex Polygons. 404-411 - Caihua Xiong, You-Lun Xiong:
On the Error Elimination for Multi-Axis CNC Machining. 412-417 - Dinesh Rabindran, Delbert Tesar:
Study of the dynamic coupling term (μ) in parallel force/velocity actuated systems. 418-423 - Kui Zhang, Andrew D. Ball
, Fengshou Gu
, Yuhua Li
:
A Hybrid Model with a Weighted Voting Scheme for Feature Selection in Machinery Condition Monitoring. 424-429 - Thomas Ruppel, Michael Lloyd-Hart, Daniela Zanotti, Oliver Sawodny:
Modal Trajectory Generation for Adaptive Secondary Mirrors in Astronomical Adaptive Optics. 430-435 - Eduardo Camponogara
, Melissa Pereira de Castro, Agustinho Plucenio:
Compressor Scheduling in Oil Fields: A Piecewise-Linear Formulation. 436-441 - Rangsarit Vanijjirattikhan
, David Kaber
, Mo-Yuen Chow
, Norbert Stoll:
Timed Petri Net Modeling and Simulation of a High-Throughput Biological Screening Process. 442-447 - Liang Pi, Leyuan Shi:
Resource-Task Assignment Process with Rejections and Reassignments. 448-453 - Adriano Fagiolini
, Gianni Valenti, Lucia Pallottino
, Gianluca Dini
, Antonio Bicchi:
Local Monitor Implementation for Decentralized Intrusion Detection in Secure Multi-Agent Systems. 454-459 - Maryam Haji, Houshang Darabi:
Petri Net based Supervisory Control Reconfiguration of Project Management Systems. 460-465 - Ping Gu, Yajie Lou, Xuerui Zhang, Shigeru Fujimura:
Dynamic Local Focusing Approach for Production Scheduling Problems. 466-471 - Martin W. Braun, Nital S. Patel:
Analysis of the Effects of Truncation on the EWMA Observer. 472-477 - Wai Kuan Yip, K. G. Law, Wen Jau Lee:
Forecasting Final/Class Yield Based on Fabrication Process E-Test and Sort Data. 478-483 - Na Li, Li Zheng, Quan-Lin Li:
Semiconductor system with multiple closed-loops constrains. 484-488 - Daniel Quadt, Chua Koon Min:
Line Planning in a Hierarchical Production Planning Approach. 489-494 - How-Wei Huang, Ching-Hu Lu, Li-Chen Fu
:
Lot Dispatching and Scheduling Integrating OHT Traffic Information in the 300mm Wafer Fab. 495-500 - Kan Wu
, Leon F. McGinnis, Bert Zwart:
Compatibility of Queueing Theory, Manufacturing Systems and SEMI Standards. 501-506 - Mingang Cheng, Hiromi Itoh Ozaku, Noriaki Kuwahara, Kiyoshi Kogure, Jun Ota
:
Simulated Annealing Algorithm for Daily Nursing Care Scheduling Problem. 507-512 - Josef Hallberg, Chris D. Nugent
, Richard John Davies
, Kåre Synnes, Mark P. Donnelly, Dewar D. Finlay
, Maurice D. Mulvenna
:
HomeRuleML - A Model for the Exchange of Decision Support Rules Within Smart Environments. 513-520 - Mehdi Lamiri, Johann Dréo, Xiaolan Xie:
Operating Room Planning with Random Surgery Times. 521-526 - Yen-Ting Chen, Kuo-Tsung Tseng:
Multiple-angle Hand Gesture Recognition by Fusing SVM Classifiers. 527-530 - Masao Sugi, Ippei Matsumura, Yusuke Tamura
, Jun Ota
, Tamio Arai:
Quantitative Evaluation of Human Supporting Production System "Attentive Workbench". 531-535 - Sukjune Yoon, Woosup Han, Seung Ki Min, Youngbo Shim, Kyung Shik Roh:
Efficient Navigation Algorithm Using 1D Panoramic Images. 536-541 - Hugo C. Garcia, Jesus René Villalobos
:
Automated Feature Selection Methodology for Reconfigurable Automated Visual Inspection Systems. 542-547 - John C. Murray, Mark James Neal, Frédéric Labrosse:
Intelligent Kite Aerial Platform for Site Photography. 553-558 - Patrick McVittie, Clement S. Sun, Timothy W. Molter, Sarah McQuaide, Mary E. Lidstrom, Mark Holl, Deirdre R. Meldrum:
Automated Classification of Macrophage Membrane Integrity using a Fluorescent Live/Dead Stain. 554-559 - Michel Sarkis, Christian T. Senft, Klaus Diepold:
Modeling the Variation of the Intrinsic Parameters of an Automatic Zoom Camera System using Moving Least-Squares. 560-565 - Shigang Li, Takumi Isago:
Qualitative Localization by Full-View Spherical Image. 566-571 - Kay Boehnke:
Object localization in range data for robotic bin picking. 572-577 - Tae-Sic Yoo
, Humberto E. Garcia:
Intruder Activity Analysis under Unreliable Sensor Networks. 578-584 - Satish T. S. Bukkapatnam
, Ranga Komanduri:
Container Integrity and Condition Monitoring using RF Vibration Sensor Tags. 585-590 - Changsoo Ok, Hari Prasad Thadakamalla, Usha Nandini Raghavan, Soundar R. T. Kumara, Sang-Gook Kim, Xiang Zhang, Satish T. S. Bukkapatnam
:
Optimal Transmission Power in Self-sustainable Sensor Networks for Pipeline Monitoring. 591-596 - Daniele Fontanelli
, Luigi Ricciato, Stefano Soatto:
A Fast RANSAC-Based Registration Algorithm for Accurate Localization in Unknown Environments using LIDAR Measurements. 597-602 - Matthew S. Keir, Christopher E. Hann, J. Geoffrey Chase, Xiaoqi Chen
:
A New Approach to Accelerometer-based Head Tracking for Augmented Reality & Other Applications. 603-608 - S. Veera Ragavan, Velappa Ganapathy:
A General Telematics Framework for Autonomous Service Robots. 609-614 - David Kaber
, Norbert Stoll, Kerstin Thurow:
Human-automation Interaction Strategies for Life Science Applications: Implications and Future Research. 615-620 - Andrew W. Holle
, Shih-hui Chao, Mark Holl, Jeffrey M. Houkal, Deirdre R. Meldrum:
Characterization of Program Controlled CO2 Laser-Cut PDMS Channels for Lab-on-a-chip Applications. 621-627 - Idaku Ishii
, Yuman Nie, Kenichi Yamamoto, Kensuke Orito, Hiroshi Matsuda:
Real-time and Long-time Quantification of Behavior of Laboratory Mice Scratching. 628-633 - Liang Yuan, Yuan F. Zheng, Weidong Chen, Martin Caffrey:
Automatic Mixing of Bio-Samples Using Micro-Channel and Centrifugation. 634-639 - Jinq-Yu Jiang, Kuo-Hsiung Lin, Chia-Chun Chen, Jie-Len Huang, Chun-Hung Huang, Hung-Ju Su:
Development of Whole Human Genome Micro-array Automated Hybridization Platform. 640-645 - Rebecca S. Green, Sang-Hwan Kim, David Kaber
, Norbert Stoll:
Prototyping and Usability Testing of Supervisory Control Interfaces for Life Science Automation. 646-651 - Sampath Kameshwaran, Nukala Viswanadham, Vijay Desai:
On Bundling and Pricing of the Service with the Product. 652-657 - Tatsushi Nishi, Yuichiro Hiranaka, Masahiro Inuiguchi, Ignacio E. Grossmann:
A Decomposition Method with Cut Generation for Simultaneous Production Scheduling and Routing for multiple AGVs. 658-663 - Tallichetty S. Chandrashekar, Yadati Narahari:
A Shapley Value Analysis to Coordinate the Formation of Procurement Networks. 664-669 - Bo Xiong, Peter B. Luh, Shi-Chung Chang
, Laurent D. Michel, Andrew See:
Coherent Modeling and Effective Coordination for Building Emergency Evacuation. 670-677 - Menasheh Fogel, Nathan Burkhart, Hongliang Ren
, Jeremy Schiff, Max Qinghu Meng, Ken Goldberg
:
Automated Tracking of Pallets in Warehouses: Beacon Layout and Asymmetric Ultrasound Observation Models. 678-685 - Fan Yang, Michael M. Marefat:
Automatic Feasibility Verification of Object Configurations: A New Approach Based on Feature Interaction Matrices. 686-691 - Satoshi Hoshino, Jun Ota
:
Performance Design of Operating Robots in a Seaport Container-Handling System. 692-697 - Guy-Aimé Tanonkou, Lyès Benyoucef, Xiaolan Xie:
Design of multi-commodity distribution network with random demands and supply lead-times. 698-703 - Nukala Viswanadham, Sampath Kameshwaran:
A Decision Framework for Location Selection in Global Supply Chains. 704-709 - Jay D. Schwartz, Daniel E. Rivera
:
Multi-Objective Control-Relevant Demand Modeling for Production and Inventory Control. 710-715 - Megha Mohabey, Y. Narahari, Sudeep Mallick, P. Suresh, S. V. Subrahmanya:
A Combinatorial Procurement Auction for QoS-Aware Web Services Composition. 716-721 - Juan Carlos González-Castolo, Ernesto López-Mellado:
Approximating State of DES Using Fuzzy Timed Petri Nets. 722-728 - Shigeto Aramaki, Tatsuichiro Nagai, Masato Kawamura, Yasutaka Hatada, Tomoaki Tsuruoka:
Human-Robot Interface by using frame like knowledge base. 729-734 - Josh H. M. Lam, Ka Wah Lo, Yeung Yam:
Robot Drawing Techniques for Contoured Surface Using an Automated Sketching Platform. 735-740 - Ching-Hu Lu, Yu-chen Ho, Li-Chen Fu
:
Creating Robust Activity Maps Using Wireless Sensor Network in a Smart Home. 741-746 - Alberto Rugnone, Enrico Vicario
, Chris D. Nugent
, Mark P. Donnelly, David Craig, Cristiano Paggetti
, Elena Tamburini:
HomeTL: A visual formalism, based on temporal logic, for the design of home based care. 747-752 - Kim Doang Nguyen, I-Ming Chen
, Song Huat Yeo, Henry Been-Lirn Duh
:
Motion Control of a Robotic Puppet through a Hybrid Motion Capture Device. 753-758 - Zhi-Hao Lin, Li-Chen Fu
:
Multi-user Preference Model and Service Provision in a Smart Home Environment. 759-764 - Shafishuhaza Sahlan, Abdul Ghafoor, Victor Sreeram:
Properties of Frequency Weighted Balanced Truncation Techniques. 765-770 - Ricardo Arturo Fernandez Gomez, Sophie Hennequin, Nidhal Rezg:
Decision Making Based on Fuzzy Logic for Product Subcontracting Taking into Account Maintenance Actions. 771-776 - Joe Chalfoun, Catherine Bidard
, Delphine Keller, Yann Perrot:
Calibration Using Generalized Error Matrices of a Long Reach Articulated Carrier. 777-782 - Kevin P. Kirkpatrick, Ghulam M. Chaudhry:
DC Machine Control with Time Delay and a PID Controller. 783-787 - Kenjiro Tadakuma, Riichiro Tadakuma:
Mechanical Design of "Omni-Ball": Spherical Wheel for Holonomic Omnidirectional Motion. 788-794 - Can Kavaklioglu, Okyay Kaynak
:
A Type-2 Fuzzy Planner with Semi Qualitative World Model for Robocup Domain. 795-799 - Yi-Sheng An, Ren-Hou Li, Anwar Mamat:
Expression and Verification of Task Management in Collaborative Design. 800-805 - Scott S. Boettner, Joe Cecil, Yunfang Jiao:
An Advanced Collaborative Framework for Micro Assembly. 806-811 - Ruiguo Yang, Joe Cecil, Lunwei Zhang, Gobinath Narayanasamy:
A semantic web based framework for bio cell manipulation. 812-817 - Haobo Cheng, Yeung Yam, Hang Tong:
A Quantitative Knife-edge Testing Method for Local Deformation Evaluation in Optical Aspheric Fabrication. 818-822 - Kenichi Yamamoto, Hiroaki Fujii, Idaku Ishii:
A High-Speed 3D Shape Measurement System Using a Multi-Sided Mirror. 823-828 - Flavio de Barros Vidal
, Victor Hugo Casanova Alcalde:
Window-Matching Techniques with Kalman Filtering for an Improved Object Visual Tracking. 829-834 - Zhengmao Ye, Habib Mohamadian, Yongmao Ye:
Information Measures for Biometric Identification via 2D Discrete Wavelet Transform. 835-840 - Bernd Göde, Silke Holzmüller-Laue, Kristina Rimane, Mo-Yuen Chow, Norbert Stoll:
Laboratory Information Management Systems - An Approach as an Integration Platform within Flexible Laboratory Automation for Application in Life Sciences. 841-845 - Alessio Salerno, Jian Zhang, Anubha Bhatla, Oleksandra V. Lyulko, Aparajita Dutta, Guy Garty, Nabil Simaan, Gerhard Randers Pehrson, Y. Lawrence Yao, David J. Brenner, Jing Nie:
Design Considerations for a Minimally Invasive High-Throughput Automation System for Radiation Biodosimetry. 846-852 - Yongmo Yang, Junseok Chae:
A Compact Separation Column For Hazardous Chemicals. 853-856 - Paul Frenger:
GRANNIE 2: A Ubiquitous, Protean Robotic Guardian Angel. 857-862 - Eirik Årsand, Ragnhild Varmedal, Gunnar Hartvigsen:
Usability of a Mobile Self-Help Tool for People with Diabetes: the Easy Health Diary. 863-868 - JiangJing Pan, Shahin Hashtrudi-Zad:
Diagnosability Analysis and Sensor Selection in Discrete-Event Systems with Permanent Failures. 869-874 - Tatsushi Nishi, Yuichiro Hiranaka, Masahiro Inuiguchi:
A Successive Lagrangian Relaxation Method for Solving Flowshop Scheduling Problems with Total Weighted Tardiness. 875-880 - Kevin Ka Kei Leung, Garratt Gallagher:
Multi-Robot Localization and Mapping Strategy: Utilizing Behavior Based Dynamic Tree Structure and Observer-explorer Routine. 881-886 - Tao Hong
, Mo-Yuen Chow:
Resource Allocation for a Life Science Automation Line: a Petri nets Approach. 887-892 - Mariagrazia Dotoli
, Maria Pia Fanti
, Agostino Marcello Mangini
:
On Line Identification of Discrete Event Systems via Petri Nets: an Application to Monitor Specification. 893-898 - Nilanjan Chakraborty, Srinivas Akella
, John T. Wen
:
Coverage of a Planar Point Set with Multiple Constrained Robots. 899-904 - Changsoo Ok, Prasenjit Mitra, Seokcheon Lee, Soundar R. T. Kumara:
Distributed Energy-Adaptive Routing for Wireless Sensor Networks. 905-910 - Raju S. Mattikalli, Roman D. Fresnedo, Paul D. Frank, Summer Locke, Paul Z. Thunemann:
Optimal Sensor Selection and Placement for Perimeter Defense. 911-918 - Jung Jin Cho, Yu Ding, Yong Chen, Jiong Tang:
Robust Calibration for Localization in Clustered Wireless Sensor Networks. 919-924 - Fukashi Andoh:
Inertia Identification of Mechatronic Servo Systems with Infinitesimal Motions. 925-932 - Jean-Pierre Planckaert, El-Hadi Djermoune, David Brie, Francis Briand, Frédéric Richard:
Metal transfer characterization with an active contour algorithm in MIG/MAG welding movies. 933-938 - Joshua D. Jackson, Dale W. Callahan, Jon Marstrander:
A Rationale for the use of Optical Mice Chips for Economic and Accurate Vehicle Tracking. 939-944 - Chungang Zhuang, Zhenhua Xiong, Xiangyang Zhu, Han Ding:
Von Mises Stress and Level Set Method based Structural Topology Optimization with Multi-phase Materials. 945-949 - Jiangzhao Yang, Jijie Xu, Zexiang Li:
Two-Degree-of-Freedom Based Cross-Coupled Control for High-Accuracy Tracking Systems. 950-955 - Fan Li, Teresa Wu:
An Importance Sampling Based Approach for Reliability Analysis. 956-961 - Michele Albieri, Alessandro Beghi, Cristian Bodo, Luca Cecchinato:
A Simulation Environment for the Design of Advanced Chiller Control Systems. 962-967 - Stjepan Bogdan
, Zdenko Kovacic, Ivana Fazinic, Ivica Draganjac:
Fuzzy Arithmetic-based Stability Analysis and Design of Fuzzy Controller. 968-973 - Maria Tomas-Rodriguez
, Robin S. Sharp:
Automated Modeling of Rotorcraft Dynamics with Special Reference to Autosim. 974-979 - Vinit Kumar Mishra, Nukala Viswanadham:
A CBR-based Decision Support System Framework for Construction Supply Chain Risk Management. 980-985 - Jaesung Lee, Ralph D. Ellis Jr., Jae-Ho Pyeon:
Proposed Methodology for Dynamic Schedule Compression. 986-991 - Shutao Li, Jörg Isele, Georg Bretthauer:
Application of IFC Product Data Model in Computer-Integrated Building Prefabrication. 992-996 - Donglin Pu, Xinjun Sheng, Weijun Zhang, Han Ding:
An Application of Real-time Operating System in High Speed and High Precision Motion Control Systems. 997-1001 - Xiaodong Na, YuMing Zhang, Bruce Walcott:
Discrete-Model Identification for Nonlinear Laser Welding Process. 1002-1007 - Mikko Laakso, Jan Holmström
, Risto Kajosaari, Kary Främling:
Open-Source Demo System to Support Automated Identification and Tracking Workshops. 1008-1013 - Myungsik Kim, Nak Young Chong
, Hyo-Sung Ahn, Wonpil Yu
:
RFID-enabled Target Tracking and Following with a Mobile Robot Using Direction Finding Antennas. 1014-1019 - Isaac Ehrenberg, Christian Floerkemeier, Sanjay E. Sarma:
Inventory Management with an RFID-equipped Mobile Robot. 1020-1026 - Mika Luimula, Kirsti Sääskilahti, Timo Partala
, Sakari Pieskä, Juha Alaspää, Andries Lof:
Improving the Remote Control of a Mobile Robot Using Positioning and Ubiquitous Techniques. 1027-1033 - Ryan Charles Panos, Tali Freed:
The Benefits of Automatic Data Collection in the Fresh Produce Supply Chain. 1034-1038 - Yunjun Han, Xiaohong Guan, Leyuan Shi:
Optimal Supply Location Selection and Routing for Emergency Material Delivery. 1039-1044 - Kiam Tian Seow, Nam Hai Dang, Der-Horng Lee
:
Towards An Automated Multiagent Taxi-Dispatch System. 1045-1050 - Chetan Yadati Narasimha, Manjunath Kamath, Ramesh Sharda
:
A Semi Markov Decision Process Approach To E-mail Management In A Knowledge Work Environment. 1051-1056 - Herman J. Vermaak, Johnson Kinyua:
Multi-Agent Systems based Intelligent Maintenance Management for a Component-Handling Platform. 1057-1062 - Jingang Yi, Shengwei Ding, Mike Tao Zhang, Peter van der Meulen:
Throughput Analysis of Linear Cluster Tools. 1063-1068 - Kilian Schmidt, Oliver Rose:
Queue time and x-factor characteristics for semiconductor manufacturing with small lot sizes. 1069-1074 - Ky Sang Kwon, Leon F. McGinnis:
SysML-based Simulation Framework for Semiconductor Manufacturing. 1075-1080 - Kfir Berger, Hillel Bar-Gera
, Adar Kalir, Gad Rabinowitz
:
Analytical Model for Optimal Inspection Frequency with Consideration of Setup Inspections. 1081-1086 - Xinyu Liu, Keekyoung Kim, Yu Sun
:
A MEMS Stage for 3-Axis Nanopositioning. 1087-1092 - Jan Zimmermann, Oliver Sawodny:
Modeling for Simulation and Control of a X-Y High Precision Positioning Table. 1093-1098 - Dan O. Popa, Woo Ho Lee, Rakesh Murthy, Aditya N. Das, Harry E. Stephanou:
High Yield Automated MEMS Assembly. 1099-1104 - Fangming Gu, William S. Harrison, Dawn M. Tilbury, Chengyin Yuan:
Hardware-In-The-Loop for Manufacturing Automation Control: Current Status and Identified Needs. 1105-1110 - Jartuwat Rajruangrabin, Dan O. Popa:
Enhancement of Manipulator Interactivity through Compliant Skin and Extended Kalman Filtering. 1111-1116 - Riichiro Tadakuma, Kenjiro Tadakuma, Robert D. Howe:
Few D.O.F. Walking Robot with Outer-Wheels. 1117-1124 - Di Zu, Jianda Han, Dalong Tan:
Trajectory Generation in Relative Velocity Coordinates Using Mixed Integer Linear Programming with IHDR Guidance. 1125-1130 - Sean R. Martin, Steve E. Wright, John W. Sheppard
:
Offline and Online Evolutionary Bi-Directional RRT Algorithms for Efficient Re-Planning in Dynamic Environments. 1131-1136 - Elvia Ruiz-Beltrán, Antonio Ramírez-Treviño
, Ernesto López-Mellado, Jesús Arámburo-Lizárraga:
A Structural Characterization of Diagnosable Petri Net Models. 1137-1142 - Shengwei Ding, J. George Shanthikumar, Raha Akhavan-Tabatabaei:
Stochastic Modeling for Serial-Batching Workstations with Heterogeneous Machines. 91- - Kyong-Soo Kim, Zhiqun Lin, Pranav Shrotriya
, Sriram Sundararajan
, Qingze Zou:
Iterative Control Approach to High-Speed Force-Distance Curve Measurement Using AFM for Biological Applications. 91- - David Kaber, Norbert Stoll, Kerstin Thurow:
Human-Automation Interaction Strategies for Life Science Applications: Implications and Future Research. 92- - Shankar Sastry:
The Engineering and Societal Impact of Embedded and Autonomous Systems: Beyond Sensor Webs. 96- - Yu-Chi Ho:
Towards a New Paradigm for Optimization. 97- - Devadas Pillai:
Factory Automation as an Enabler in Leading-Edge Semiconductor Manufacturing. 98-
![](https://dblp.org/img/cog.dark.24x24.png)
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.