4485 search results - page 838 / 897 » Equivalences on Observable Processes |
ICRA
2008
IEEE
14 years 4 months ago
2008
IEEE
— In this work, we have extended the concept of constrained motion control of robots to surgical tasks that require multiple robots. We present virtual fixtures to guide the mot...
IEEEPACT
2008
IEEE
14 years 4 months ago
2008
IEEE
In a hardware transactional memory system with lazy versioning and lazy conflict detection, the process of transaction commit can emerge as a bottleneck. This is especially true ...
IJCNN
2008
IEEE
14 years 4 months ago
2008
IEEE
— When an agent observes its environment, there are two important characteristics of the perceived information. One is the relevance of information and the other is redundancy. T...
IPPS
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, we introduce the new technique of HighConfidence Software Monitoring (HCSM), which allows one to perform software monitoring with bounded overhead and concomitantl...
IROS
2008
IEEE
14 years 4 months ago
2008
IEEE
— This paper presents a method to determine the rough shape of an object. This is a step in the development of a ”One Click Grasping Tool”, a grasping tool of everyday-life o...