923 search results - page 141 / 185 » The Computational Structure of Progress Conditions |
ICCV
2003
IEEE
15 years 11 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...
FOCS
2006
IEEE
15 years 3 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...
ACL2
2006
ACM
15 years 3 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. ...
SIGCSE
2006
ACM
15 years 3 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...
104
click to vote
SIGGRAPH
2010
ACM
15 years 2 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...