6978 search results - page 1084 / 1396 » On Proofs in System P |
155
Voted
AHS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper is concerned with application of standard wireless COTS protocols to space. Suitability of commercially available wireless sensor mote kits for communication inside and...
181
click to vote
AR
2010
15 years 7 months ago
2010
This paper introduces the Laparobot, a tele-operated surgical robot designed specifically for training surgeons in advanced laparoscopic techniques. The Laparobot allows a student...
190
click to vote
AROBOTS
2008
15 years 7 months ago
2008
Object grasping is a typical human ability which is widely studied from both a biological and an engineering point of view. This paper presents an approach to grasp synthesis inspi...
138
click to vote
CMPB
2008
15 years 6 months ago
2008
A cardiovascular system (CVS) model has previously been validated in simulated cardiac and circulatory disease states. It has also been shown to accurately capture all main hemody...
160
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Programs to solve so-called constraint problems are complex pieces of software which require many design decisions to be made more or less arbitrarily by the implementer. These dec...