7988 search results - page 1422 / 1598 » A Useful Undecidable Theory |
296
click to vote
ACCV
2009
Springer
16 years 2 months ago
2009
Springer
We address the problem of recovering 3D human pose from single 2D images, in which the pose estimation problem is formulated as a direct nonlinear regression from image observation...
121
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
157
click to vote
SODA
2010
ACM
16 years 1 months ago
2010
ACM
The hypergraph matching problem is to find a largest collection of disjoint hyperedges in a hypergraph. This is a well-studied problem in combinatorial optimization and graph theo...
143
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
Cluster-based multi-tier systems provide a means for building scalable Internet services. Building adaptive Internet services that are able to apply appropriate system sizing and ...
134
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we propose an attention-based vision system for the JAST interactive dialog robot. The robotic vision system incorporates three submodules: object recognition, gestu...