6608 search results - page 1045 / 1322 » On the Completeness of Model Checking |
163
click to vote
ICRA
2006
IEEE
16 years 21 days ago
2006
IEEE
— Autonomous robot systems have to manage their energy wisely in order to complete their missions. Typical approaches seek to conserve energy by energy-efficient motion or senso...
187
click to vote
IPPS
2006
IEEE
16 years 21 days ago
2006
IEEE
Real-time resource scheduling is an important factor for improving the performance of cluster computing. In many distributed and parallel processing systems, particularly real-tim...
179
click to vote
IROS
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper presents design and manufacturing procedure of a tele-operative rescue robot. First, the general task to be performed by such a robot is defined, and variant kinematic m...
178
click to vote
IROS
2006
IEEE
16 years 21 days ago
2006
IEEE
— In this paper we present a framework for grasp planning with a humanoid robot arm and a five-fingered hand. The aim is to provide the humanoid robot with the ability of grasp...
186
click to vote
CIBCB
2005
IEEE
16 years 9 days ago
2005
IEEE
— In this paper we address the problem of predicting gene activities by finding gene regulatory dependencies in experimental DNA microarray data. Only few approaches to infer th...