5863 search results - page 873 / 1173 » On Model-Checking of P Systems |
141
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
In the last decade various time- and frequency-domain algorithms were derived to blindly identify acoustic systems. One of these algorithms is the multichannel Newton (MCN) algori...
152
click to vote
AHS
2007
IEEE
15 years 6 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...
176
Voted
AR
2010
15 years 6 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...
182
click to vote
AROBOTS
2008
15 years 6 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...
135
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...