6978 search results - page 1153 / 1396 » On Proofs in System P |
211
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper presents a method for face recognition across large changes in viewpoint. Our method is based on a Morphable Model of 3D faces that represents face-specific information...
168
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...
165
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...
180
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...