923 search results - page 141 / 185 » The Computational Structure of Progress Conditions |
125
Voted
ICCV
2003
IEEE
16 years 5 months ago
2003
IEEE
We present a method for shape reconstruction from several images of a moving object. The reconstruction is dense (up to image resolution). The method assumes that the motion is kn...
129
Voted
FOCS
2006
IEEE
15 years 9 months ago
2006
IEEE
d abstract] Robert Krauthgamer ∗ IBM Almaden James R. Lee † Institute for Advanced Study We initiate the study of approximate algorithms on negatively curved spaces. These spa...
161
Voted
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization; this makes some algorithms execute more quickly. ...
128
click to vote
SIGCSE
2006
ACM
15 years 9 months ago
2006
ACM
This paper describes a significant redesign of the introductory courses at the University of Washington that has led to increased enrollments, increased student satisfaction and a...
153
click to vote
SIGGRAPH
2010
ACM
15 years 8 months ago
2010
ACM
We introduce gesture controllers, a method for animating the body language of avatars engaged in live spoken conversation. A gesture controller is an optimal-policy controller tha...