5863 search results - page 927 / 1173 » On Model-Checking of P Systems |
163
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
In this paper we propose a system that recognises gait and quadruped structure from a sparse set of tracked points. In this work the motion information is derived from dynamic wil...
164
click to vote
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. The manipulation of fast moving, delicate tissues in beating heart procedures presents a considerable challenge to surgeons. We present a new robotic force stabilization ...
134
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
Constraint-driven Communication Synthesis enables the automatic design of the communication architecture of a complex system from a library of pre-defined Intellectual Property (I...
178
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
The growing infrastructure for Web Services assumes a "programmer in the loop" that hardcodes the connections between Web Services and directly programs Web Service comp...
194
click to vote
PERCOM
2009
ACM
16 years 7 months ago
2009
ACM
Abstract--The proliferation of wireless-enabled portable computing devices has spurred a growing need for efficient and powerful networking protocols. The key challenge in the deve...