Sciweavers

1036 search results - page 78 / 208
» Utilizing Validation Experience for System Validation
Sort
View
ICRA
2007
IEEE
160views Robotics» more  ICRA 2007»
14 years 2 months ago
OOPS for Motion Planning: An Online, Open-source, Programming System
— The success of sampling-based motion planners has resulted in a plethora of methods for improving planning components, such as sampling and connection strategies, local planner...
Erion Plaku, Kostas E. Bekris, Lydia E. Kavraki
IROS
2006
IEEE
233views Robotics» more  IROS 2006»
14 years 2 months ago
Machine-mediated Motor Skill Training Method in Haptic-enabled Chinese Handwriting Simulation System
Training of motor skill through machine-mediated method is a promising way to improve complex dexterous manipulation skill. New method of fusion between human motor skill and machi...
Dangxiao Wang, Yuru Zhang, Chong Yao
ASPLOS
2006
ACM
14 years 1 months ago
Mercury and freon: temperature emulation and management for server systems
Power densities have been increasing rapidly at all levels of server systems. To counter the high temperatures resulting from these densities, systems researchers have recently st...
Taliver Heath, Ana Paula Centeno, Pradeep George, ...
ICFEM
2004
Springer
14 years 1 months ago
Verifying a File System Implementation
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Ma...
ICRA
2010
IEEE
213views Robotics» more  ICRA 2010»
13 years 6 months ago
A switching control law for a networked visual servo control system
— In this paper, a novel switching controller is proposed for a networked visual servo control system with varying feedback delay due to image processing and data transmission. T...
Haiyan Wu, Chih-Chung Chen, Jiayun Feng, Kolja K&u...