


default search action
CASE 2008: Washington, DC, USA
- 2008 IEEE International Conference on Automation Science and Engineering, IEEE CASE 2008, Washington, DC, USA, August 23-26, 2008. IEEE 2008, ISBN 978-1-4244-2022-3

- Jing Zhang, James R. Moyne, Dawn M. Tilbury:

Verification of ECA rule based management and control systems. 1-7 - Davide Giglio

, Riccardo Minciardi, Simona Sacone
, Silvia Siri
:
Optimization of inventory levels and production effort in Hybrid Inventory-Production (HIP) systems. 8-15 - Kyle Schroeder, James R. Moyne, Dawn M. Tilbury:

A Factory Health Monitor: System identification, process monitoring, and control. 16-22 - Franziska Adamek, Marion Sobotka, Olaf Stursberg

:
Stochastic optimal control for hybrid systems with uncertain discrete dynamics. 23-28 - Luca Ferrarini

, Roberto Brusa, Carlo Veber:
A pragmatic approach to fault diagnosis in hydraulic circuits for automated machining: A case study. 29-34 - Carlos Alberto Teixeira

, André Bittencourt Leal
:
Development of electronic controls for refrigerators based on the supervisory control theory. 35-40 - Jijie Xu, Vincent Duindam, Ron Alterovitz, Ken Goldberg

:
Motion planning for steerable needles in 3D environments with obstacles using rapidly-exploring Random Trees and backchaining. 41-46 - Randy C. Hoover, Anthony A. Maciejewski

, Rodney G. Roberts:
Pose detection of 3-D objects using images sampled on SO(3), spherical harmonics, and wigner-D matrices. 47-52 - Jeremy Schiff, Anand P. Kulkarni, Danny Bazo, Vincent Duindam, Ron Alterovitz, Dezhen Song

, Ken Goldberg
:
Actuator networks for navigating an unmonitored mobile robot. 53-60 - Ephrat Bitton, Ken Goldberg

:
Hydra: A framework and algorithms for mixed-initiative UAV-assisted search and rescue. 61-66 - Lihui Wang

, Ji Ma, Hsi-Yung Feng:
An adaptive and optimal setup planning system. 67-72 - Mostafa Vahedi, A. Frank van der Stappen

:
Towards output-sensitive computation of two-finger caging grasps. 73-78 - Chihyun Jung, Tae-Eog Lee

:
Efficient scheduling method based on an assignment model for robotized cluster tools. 79-84 - Li Li, Fei Qiao:

ACO-based scheduling for a single Batch Processing Machine in semiconductor manufacturing. 85-90 - Qi Kang, Hui Xiao, Lei Wang, Qidi Wu:

A swarm-dynamic scheduling method for semiconductor assembly production line. 91-96 - Ja-Hee Kim

:
Stable schedule for a single-armed cluster tool with time constraints. 97-102 - Jin-Heum Paek, Tae-Eog Lee

:
Optimal scheduling of dual-armed cluster tools without swap restriction. 103-108 - Naiqi Wu, MengChu Zhou, ShihSen Peng, Feng Chu

, Chengbin Chu:
Petri net modeling and real-time control of dual-arm cluster tools with residency time constraint and activity time variations. 109-114 - Spyros A. Reveliotis, Elzbieta Roszkowska:

Conflict resolution in multi-vehicle systems: A resource allocation paradigm. 115-121 - Wynn C. Stirling, Matthew S. Nokleby:

Rational coordination under risk: Coherence and the Nash bargain. 122-127 - Lichuan Liu, Zhigang Wang, MengChu Zhou:

Cooperative multipath routing and relay based on noncoherent detection in wireless sensor networks. 128-132 - Yihan Li, Shiwen Mao, Prathima Agrawal, Scott F. Midkiff

:
Low-complexity Channel-Aware Scheduling for multichannel wireless local area networks. 133-138 - Sheng Hu, Jindong Tan

:
Compressive mobile sensing for robotic mapping. 139-144 - Ya-Jun Pan

:
Decentralized control of vehicles in platoons with robust nonlinear state estimation. 145-150 - Ya-Jun Pan

, Yuan Ma, Shariful Islam:
Electrostatic torsional micromirror: Its active control and applications in optical network. 151-156 - Yugang Liu, Guangjun Liu:

Track-stair and vehicle-manipulator interaction analysis for tracked mobile manipulators climbing stairs. 157-162 - Howard Li, Simon X. Yang

, Yevgen Biletskiy:
Neural network based path planning for a multi-robot system with moving obstacles. 163-168 - Wen Dai, Aysegul Cuhadar, Peter X. Liu:

Robot tracking using vision and laser sensors. 169-174 - Tatsushi Nishi, Yuki Tanaka, Masahiro Inuiguchi:

Petri Net decomposition approach for the simultaneous optimization of task assignment and routing with automated guided vehicles. 175-180 - Mariagrazia Dotoli

, Maria Pia Fanti
, Agostino Marcello Mangini
:
Fault monitoring of automated manufacturing systems by first order hybrid Petri nets. 181-186 - Hicham Chakib, Ahmed Khoumsi:

Multi-decision C&P∨D&A architecture for the decentralized control of discrete event systems. 187-193 - Dah-Jye Lee, Yuchou Chang, James K. Archibald, Christopher R. Greco:

Color quantization and image analysis for automated fruit quality evaluation. 194-199 - Dezhen Song

, Ni Qin, Yiliang Xu, Chang-Young Kim, David Luneau, Ken Goldberg
:
System and algorithms for an autonomous observatory assisting the search for the Ivory-Billed Woodpecker. 200-205 - Yuman Nie, Idaku Ishii

, Kenichi Yamamoto, Takeshi Takaki, Kensuke Orito
, Hiroshi Matsuda:
High-speed video analysis of laboratory rats behaviors in forced swim test. 206-211 - Nobuhiro Okada, Jinjun Qiu, Min Han, Ryunosuke Uehara, Eiji Kondo:

Multiple self-organizing maps for control of a redundant manipulator in an environment with obstacles. 212-217 - Zhe Wendy Wang, Greg G. Slabaugh

, Mengchu Zhou, Tong Fang:
Automatic tracing of blood flow velocity in pulsed Doppler images. 218-222 - Yi-Ting Huang, Hsien-Cheng Huang, Fan-Tien Cheng

, Tai-Siang Liao, Fu-Chien Chang:
Automatic virtual metrology system design and implementation. 223-229 - Wei-Ming Wu, Fan-Tien Cheng

, Deng-Lin Zeng, Tung-Ho Lin, Jyun-Fang Chen:
Developing a selection scheme for dual virtual-metrology outputs. 230-235 - Wai Kuan Yip, Lim Chun Chew, Wen Jau Lee:

Method for proposing sort screen thresholds based on modeling etest/sort-class in semiconductor manufacturing. 236-241 - Li Li, Fei Qiao:

The impact of the qual-run requirements of APC on the scheduling performance in semiconductor manufacturing. 242-246 - James R. Morrison:

Flow lines with regular service times: Evolution of delay, state dependent failures and semiconductor wafer fabrication. 247-252 - Chun Zhu, Qi Cheng

, Weihua Sheng
:
Human intention recognition in Smart Assisted Living Systems using a Hierarchical Hidden Markov Model. 253-258 - Jorge Solis

, Atsuo Takanishi:
Enabling autonomous systems to perceptually detect human performance improvements and their applications. 259-264 - Fukashi Andoh:

Coulomb friction identification for mechatronic servo systems with limited strokes using two reference inputs. 265-272 - Jie Sun, Yoke San Wong, Geok Soon Hong

, Mustafizur Rahman, Zhigang Wang:
Identification of feature set for effective tool condition monitoring - a case study in titanium machining. 273-278 - Yao Hu, Jingshan Li, Larry E. Holloway:

Towards modeling of resilience dynamics in manufacturing enterprises: Literature review and problem formulation. 279-284 - Lalit Patil, Kazuhiro Saitou:

Adapting product and supply chain systems under severe uncertainty. 285-290 - Angelos A. Economopoulos, Vassilis S. Kouikoglou:

Analysis of a simple CONWIP system with impatient customers. 291-296 - Nikesh K. Srivastava, Nukala Viswanadham, S. Kameshwaran:

Procurement of global logistics services using combinatorial auctions. 297-302 - Feng Chu

, Chengbin Chu, Qingning Shen, Haoxun Chen:
An O(T3) Polynomial algorithm for crude oil transportation. 303-308 - Huayu Xu, Wenhui Fan, Tian Wei, Lijun Yu:

An Or-opt NSGA-II algorithm for multi-objective Vehicle Routing Problem with Time Windows. 309-314 - Yasser H. Anis

, Mark Holl
, Deirdre R. Meldrum:
Automated vision-based selection and placement of single cells in microwell array formats. 315-320 - Xiaolin Zhang, Yugo Sato:

Cooperative movements of binocular motor system. 321-327 - Peng Wang, Peter B. Luh, Shi-Chung Chang

, Jin Sun:
Modeling and optimization of crowd guidance for building emergency evacuation. 328-334 - Wai Kin Chan, Jingang Yi, Shengwei Ding, Dezhen Song

:
Optimal scheduling of k-unit production of cluster tools with single-blade robots. 335-340 - Sven Soetebier, Christian H. Müller, Nicolas Mauser, Sönke Kock, Fabrice Legeleux:

Flexible automation for automotive body assembly. 341-346 - Lichuan Liu, Zhigang Wang, Wern-Kueir Jehng:

A geographic source routing protocol for traffic sensing in urban environment. 347-352 - Weiwei Chen, Leyuan Shi:

A variant of examination timetabling problem. 353-358 - Weihua Wang, Peter B. Luh, Joseph H. Yan, Gary A. Stern:

An improved lagrangian relaxation method for discrete optimization applications. 359-364 - Maryam Haji, Luca Agostoni, Paolo Gullo, Houshang Darabi, Mauro Mancini:

An improved multi-mode resource allocation and project scheduling model. 365-370 - Shunji Tanaka

, Shuji Fujikuma:
An efficient exact algorithm for general single-machine scheduling with machine idle time. 371-376 - Jin Sun, Qianchuan Zhao, Peter B. Luh:

An enhanced nested partitions method. 377-382 - Jin Sun, Qianchuan Zhao, Peter B. Luh:

A unified optimization framework for population-based methods. 383-387 - Mark W. Brantley, Loo Hay Lee

, Chun-Hung Chen, Argon Chen:
Optimal sampling in design of experiment for simulation-based stochastic optimization. 388-393 - Ehsan Azarnasab, Xiaolin Hu, Peiman Amini, Behrouz Farhang-Boroujeny

:
Progressive simulation-based design: A case study example on software defined radio. 394-399 - Wenzhen Huang, Zhenyu James Kong:

Process capability sensitivity analysis for design evaluation of multi station assembly systems. 400-405 - Yanjia Zhao, Chao-Bo Yan, Qianchuan Zhao, Ningjian Huang, Jingshan Li, Xiaohong Guan:

Efficient simulation for serial production lines based on aggregated event-scheduling. 406-411 - Jing Liu, Chengyin Yuan, Fangming Gu, Stephan Biller

:
Functional safety certification: Practice and issues. 412-417 - Boussad Addad, Said Amari:

Modeling and response time evaluation of ethernet-based control architectures using timed event graphs and Max-Plus algebra. 418-423 - Vivek Nandakumar, Mark Holl

, Deirdre R. Meldrum:
A flexible framework for automation of single cell and cell-to-cell interaction analyses. 424-430 - Zhe Wendy Wang, Greg G. Slabaugh

, Tong Fang:
Partial differential equation-based GPR signature discrimination for automatic detection of bridge deck delamination. 431-435 - Jussi Nummela, Leena Ukkonen, Lauri Sydänheimo

, Markku Kivikoski:
Exploiting passive UHF RFID in paper industry - Case study: End user. 436-441 - Chiwoo Park

, Yu Ding, Eunshin Byon:
Collaborative data reduction for energy efficient sensor networks. 442-447 - Xuan Han, Wen-Fang Xie:

Nonlinear systems identification using dynamic multi-time scales neural networks. 448-453 - Feng Duan, Ye Zhang, Nuttapol Pongthanya, Kei Watanabe, Hiroshi Yokoi, Tamio Arai:

Analyzing human skill through control trajectories and motion capture data. 454-459 - Junwen Wang, Jingshan Li, Jorge Arinez, Stephan Biller

, Ningjian Huang:
Quality analysis in flexible manufacturing systems with batch productions. 460-465 - Stephan Biller

, Samuel P. Marin, Semyon M. Meerkov, Liang Zhang:
Closed production lines with arbitrary models of machine reliability. 466-471 - Dong Wei, Razvan Panaitescu:

An implementation of iterative learning control in industrial production machines. 472-477 - Toshihiro Fujita, Nobuo Higuchi, Yoshihito Sugano, Hiroyuki Hayashi, Katsuhisa Ida, Toshikazu Takagi, Masatoshi Nishino, Wataru Tokumoto, Hiroshi Yonezawa, Tomonori Nishiki:

Robot control cell production system of Senju (thousand-handed) Kannon model that demonstrated optimality to the multi-product production in varying volumes for eight years. 478-485 - John D. Wason, William Gressick, John T. Wen, Kenneth Morgan, Joseph Heald, Stephan Mueller

:
Model-based control of a high-temperature crystal growth process. 486-491 - Kun Qian, YuMing Zhang:

Optimal model predictive control of plasma pipe welding process. 492-497 - Utkarsh Mittal, Hui Yang

, Satish T. S. Bukkapatnam
, Leandro G. Barajas
:
Dynamics and performance modeling of multi-stage manufacturing systems using nonlinear stochastic differential equations. 498-503 - Girma S. Tewolde

, Changhua Wu, Yu Wang, Weihua Sheng
:
Distributed multi-robot work load partition in manufacturing automation. 504-509 - Yong Liu, Yantao Shen, Ning Xi, Ruiguo Yang

, Xiongzi Li, George Zhang, Thomas A. Fuhlbrigge:
Rapid robot/workcell calibration using line-based approach. 510-515 - Heping Chen, Thomas A. Fuhlbrigge, Sang Choi, Jianjun Wang, Xiongzi Li:

Practical industrial robot zero offset calibration. 516-521 - Heping Chen, Thomas A. Fuhlbrigge, Xiongzi Li:

Automated industrial robot path planning for spray painting process: A review. 522-527 - Jianjun Wang, Hui Zhang, George Zhang:

A force control assisted robot path generation system. 528-533 - Mikael Pohjola:

Adaptive jitter margin PID controller. 534-539 - Mark Nixon, Deji Chen, Terry Blevins, Aloysius K. Mok:

Meeting control performance over a wireless mesh network. 540-547 - Mauro De Biasi, Carlo Snickars, Krister Landernäs, Alf J. Isaksson:

Simulation of process control with WirelessHART networks subject to packet losses. 548-553 - Ruxandra Lupas Scheiterer, Chongning Na, Dragan Obradovic, Günter Steindl, Dragan Goetz:

Synchronization performance of the Precision Time Protocol in the face of slave clock frequency drift. 554-559 - Luca Stabellini, Jens Zander:

Interference aware self-organization for wireless sensor networks: A reinforcement learning approach. 560-565 - Ralf Froehlich:

Mission control: Local versus global modeling of robot tasking and routing. 566-571 - Lars Mönch:

Heuristics to minimize total weighted tardiness of jobs on unrelated parallel machines. 572-577 - Jean-Paul Arnaout

, Rami Musa, Ghaith Rabadi
:
Ant colony optimization algorithm to parallel machine scheduling problem with setups. 578-582 - Yoshitaka Sakurai, Takashi Onoyama, Sen Kubota, Setsuo Tsuruta:

A multi-inner-world Genetic Algorithm to optimize delivery problem with interactive-time. 583-590 - Shimpei Matsumoto, Nobuyuki Ueno, Koji Okuhara, Hiroaki Ishii:

Business process analysis to obtain empirical lot sizing rule in printing process. 591-596 - Yuang Teck Teo, S. G. Ponnambalam

:
A hybrid ACO/PSO heuristic to solve single row layout problem. 597-602 - S. G. Ponnambalam

, R. Sudhakara Pandian, Siba Sankar Mahapatra, S. Saravanasankar:
Modified ART1 neural networks for cell formation using production data. 603-608 - Mohammad Matinfar, Iulian Iordachita

, Eric Ford, John Wong, Peter Kazanzides
:
Calibration of the treatment beam of the Small Animal Radiation Research Platform. 609-614 - Hassan Baalbaki, Mehdi Lamiri, Xiaolan Xie:

Joint location and configuration of mobile service robots for hospitals. 615-620 - Silke Holzmüller-Laue, Kristina Rimane, Sebastian Neubert, Steffi Kreuzfeld, Dagmar Arndt, Bernd Göde, Kerstin Thurow, Regina Stoll

:
Flexible R&D integration platform of process informatics for automated medical applications and mobile data acquisition. 621-626 - Mehdi Lamiri, Vincent Augusto

, Xiaolan Xie:
Patients scheduling in a hospital operating theatre. 627-632 - Tomoko Kashima, Hiroaki Ishii:

Conceptual menu navigation system to prevent lifestyle-related disease. 633-637 - Ying Tang:

Unified Colored Timed Petri net models for the adaptive control of disassembly systems. 638-643 - Lihui Wang

:
A model-driven approach for remote machine control. 644-649 - Adel Khaled, Yongsheng Ma

, James Miller:
A Service Oriented Architecture for CAX concurrent collaboration. 650-655 - Liqing Fan, A. Senthil Kumar, Bhat Nikhil Jagdish, Subramanian Anbuselvan, Shung-Hwee Bok:

Integrated fixture design and analysis system based on service-oriented architecture. 656-661 - Yifa Wang, Yunfeng Zhang, Jerry Y. H. Fuh, Zude Zhou, Ligong Xue, Ping Lou:

A web-based integrated process planning and scheduling system. 662-667 - Alberto J. Alvares, Jose L. N. De Souza Jr., Evandro Leonardo Silva Teixeira, João C. E. Ferreira:

A methodology for web-based manufacturing management and control. 668-673 - Tao Zhang, Biwen Zhu, Lashanda Lee, David Kaber

:
Service robot anthropomorphism and interface design for emotion in human-robot interaction. 674-679 - Elena Mainardi

:
Design of a portable touchscreen interface for powerline domotic systems. 680-684 - Chris D. Nugent

, Xin Hong, Josef Hallberg, Dewar D. Finlay
, Kåre Synnes:
Assessing the impact of individual sensor reliability within smart living environments. 685-690 - Mario Richtsfeld, Michael Zillich:

Grasping unknown objects based on 2½D range data. 691-696 - Se-gon Roh, Jae Hoon Park, Young Kuk Song, KwangWoong Yang, Moosung Choi, Hong-Seok Kim, Hogil Lee, Hyouk Ryeol Choi:

Flexible docking mechanism using combination of magnetic force with error-compensation capability. 697-702 - Gustaw Mazurek:

Design of RFID system with DS-CDMA transmission. 703-708 - Myungsik Kim, Nak Young Chong

, Wonpil Yu
:
Fusion of direction sensing RFID and sonar for mobile robot docking. 709-714 - Li Bai, Jerry Kane, Pat Lyons:

Open architecture for contactless smartcard-based portable electronic payment systems. 715-719 - Atsushi Mitani, Shinichi Hirai

:
Analysis of contact between feeder surface and microparts based on measurements for microparts feeder using an asymmetric surface. 720-725 - Jianwu Dang, Yangping Wang, Sha Li, Zhengping Zhu:

Heavy-ion radiotherapy treatment planning system and medical image processing algorithm used in it. 726-731 - Chin Su Kim, Eun Jong Mo, Sung-Min Han, Min Seok Jie, Kang Woong Lee:

Image-based robust control of robot manipulators with image Jacobian and dynamics uncertainties. 732-737 - Dah-Jye Lee, Yuchou Chang, James K. Archibald, Clint Pitzak:

Matching book-spine images for library shelf-reading process automation. 738-743 - Shigang Li, Kazuyuki Fujiwara:

Full-view car navigator. 744-749 - Woo Suk Lee, Seung Ho Hong:

KNX - ZigBee gateway for home automation. 750-755 - Zengshan Tian, Lei Luo:

Particle filter positioning and tracking based on dynamic model. 756-759 - Li Qian, Zhenyu James Kong:

Supply chain performance with various price-dependent demand functions and component commonality in one product family. 760-765 - Hadas Kress-Gazit, George J. Pappas

:
Automatically synthesizing a planning and control subsystem for the DARPA urban challenge. 766-771 - Hadas Kress-Gazit, Nora Ayanian, George J. Pappas

, Vijay Kumar:
Recycling controllers. 772-777 - Zhixing Xue, Johann Marius Zöllner, Rüdiger Dillmann:

Planning regrasp operations for a multifingered robotic hand. 778-783 - Satoshi Hoshino, Noriyoshi Furuya, Hiroya Seki:

Integrated scheduling for gasoline blending considering storage tanks and pipe network. 784-789 - Wei Weng, Shigeru Fujimura:

Self evolution algorithm for common due date scheduling problem. 790-795 - Eduardo Camponogara

, Agustinho Plucenio:
Column generation for solving a compressor scheduling problem. 796-801 - Kirk Nichols, Todd D. Murphey

:
Variational integrators for constrained cables. 802-807 - Xiaohui Xiao, Jing Wu:

Simulation and effects evaluation of anti-galloping devices for overhead transmission lines. 808-813 - Alessandro Beghi, Umberto Bianchini, Cristian Bodo, Luca Cecchinato:

A simulation environment for dry-expansion evaporators with application to the design of autotuning control algorithms for electronic. 814-820 - Zeng-Guang Hou, An-Min Zou

, Fang-Xiang Wu
, Long Cheng, Min Tan:
Adaptive dynamic surface control of a class of uncertain nonlinear systems in pure-feedback form using fuzzy backstepping approach. 821-826 - K. Senthilkumaran, Pulak Mohan Pandey, P. V. Madhusudan Rao:

Shrinkage compensation along single direction dexel space for improving accuracy in Selective Laser Sintering. 827-832 - Azzam ul Asar, M. Sadeeq Ullah, Jamal Ahmed, Riaz ul Hasnain:

Traffic responsive signal timing plan generation based on neural network. 833-838 - Guillaume Sandou, Emmanuel Witrant, Sorin Olaru

, Silviu-Iulian Niculescu:
Receding horizon climate control in metal mine extraction rooms. 839-844 - Emmanuel Witrant, Karl Henrik Johansson

:
Air flow modeling in deepwells: Application to mining ventilation. 845-850 - Carlo Fischione, Luigi Pomante

, Claudia Rinaldi
, Fortunato Santucci
, Stefano Tennina:
Mining ventilation automation: Wireless sensing, communication architecture and advanced services. 851-857 - Maria Domenica Di Benedetto

, Alessandro D'Innocenzo, Emmanuele Serra, Emmanuel Witrant:
Automatic verification of wireless control in a mining ventilation system. 858-863 - Gregory S. Chirikjian:

Parts entropy and the principal kinematic formula. 864-869 - Saigopal Nelaturi, Atul Abhyankar, Vadim Shapiro, Robert B. Tilove:

Feasible spaces in weld gun selection. 870-875 - Lounell B. Gueta, Ryosuke Chiba, Tamio Arai, Tsuyoshi Ueyama, Jun Ota

:
Design of the end-effector tool attachment for robot arm with multiple reconfigurable goals. 876-881 - Mizuho Shibata, Tsuyoshi Ota, Yoshimasa Endo, Shinichi Hirai

:
Handling of hemmed fabrics by a single-armed robot. 882-887 - Sang-bong Park:

A development of self-clinching standoff by reverse drawing process technology. 888-893 - Surajit Sharma, Bibhuti Bhusan Biswal, Parameswar Dash, Bibhuti Bhusan Choudhury

:
Generation of optimized robotic assembly sequence using ant colony optimization. 894-899 - Liang Yuan, Yuan F. Zheng, Weidong Chen:

Automatic mixing of highly viscous bio-samples. 900-905 - Mark F. Russo, Stephen Michalczyk, Matthew H. Cahn, Herbert Klei:

Petri net modeling and automated system control of protein crystallization experimentation in drug discovery. 906-911 - Hakki Özgür Ünver, John Masciola:

Using architectural software patterns in support of controlling modular high throughput screening automation systems. 912-917 - Byungjune Choi, Sung Moon Jin, Seung Hoon Shin, Jachoon Koo, SungMoo Ryew, Min-Cheol Kim, Jinhyun Kim

, Woong Hee Shon, Ki Tak Ahn, Wankyun Chung, Hyouk Ryeol Choi:
Development of flexible laboratory automation platform using Mobile Agents in the clinical laboratory. 918-923 - Hemant J. Nagarsheth, Poonam V. Savsani, Mansi A. Patel:

Modeling and dynamics of human arm. 924-928 - Saju A. Kuruvilla, Swapna S. Gokhale, Shivakumar Sastry:

Reliability evaluation of reconfigurable conveyor systems. 929-934 - Oscar Ljungkrantz, Knut Åkesson, Martin Fabian:

Formal specification and verification of components for industrial logic control programming. 935-940 - Jose Isidro Garcia

, Fabrício Junqueira
, Roy A. Gomez Morales, Paulo E. Miyagi
:
A procedure for modeling and analysis of service-oriented and distributed productive systems. 941-946 - Javier Munguia

, Carles Riba
:
A concurrent Rapid Manufacturing advice system. 947-952 - Sean Nagle, Jeff Wiegley:

GSP: Extending G-Code using JSP servlet technologies. 953-958 - Aditya N. Das, Jeongsik Sin, Dan O. Popa, Harry E. Stephanou:

On the precision alignment and hybrid assembly aspects in manufacturing of a microspectrometer. 959-966 - Samuel S. Kim, Ehsan Saeedi, James R. Etzkorn, Babak A. Parviz:

Large scale self-assembly of crystalline semiconductor microcomponents onto plastic substrates via microfluidic traps. 967-970 - Irfan Ahmad, Alina Voda, Gildas Besançon

:
Controller design for a closed-loop scanning tunneling microscope. 971-976 - Brahim Tamadazte

, Sounkalo Dembélé, Guillaume Fortier, Nadine Le Fort-Piat:
Automatic micromanipulation using multiscale visual servoing. 977-982 - David Heriban, Arnaud Thiebault, Michaël Gauthier, Guillaume Fortier:

Improving rotation behaviour of robotic structures for micro-assembly. 983-988 - Baski Balasundaram:

Cohesive subgroup model for graph-based text mining. 989-994 - Prashanth Bandaru, Yadati Narahari:

Efficient algorithms for combinatorial auctions with volume discounts arising in web service composition. 995-1000 - Ashwin Bellur, Yadati Narahari, Shantanu Biswas:

Cost sharing mechanisms for business clusters with strategic firms. 1001-1006 - Ramakrishnan Kannan, Dinesh Garg, Karthik Subbian, Yadati Narahari:

A Nash bargaining approach to retention enhancing bid optimization in sponsored search auctions with discrete bids. 1007-1012 - Clement S. Sun, James R. Etzkorn, Mark Holl

, Timothy W. Molter, Shawn K. McGuire, Sarah McQuaide, Lloyd W. Burgess, Mary E. Lidstrom, Deirdre R. Meldrum:
Integration of user interface, device control, data acquisition and analysis for automated multi-spectral imaging of single biological cells. 1013-1018 - Atanas Georgiev, Peter K. Allen:

Two-stage robotic crystal mounting of protein crystals for X-ray data collection. 1019-1024 - Mohit Kumar, Kerstin Thurow, Norbert Stoll, Regina Stoll

:
A fuzzy system for modeling the structure-activity relationships in presence of uncertainties. 1025-1030

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














