1914 search results - page 270 / 383 » Abstract lambda-Calculus Machines |
CMSB
2006
Springer
13 years 11 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
SIGOPS
2010
13 years 6 months ago
2010
Today’s Rich Internet Application (RIA) technologies such as Ajax, Flex, or Silverlight, are designed around the client-server paradigm and cannot easily take advantage of repli...
ICCV
2003
IEEE
14 years 9 months ago
2003
IEEE
Most of the work on 3-D object recognition from range data has used an alignment-verification approach in which a specific 3-D object is matched to an exact instance of the same o...
ECCV
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. We address the problem of estimating human body pose from a single image with cluttered background. We train multiple local linear regressors for estimating the 3D pose f...
ECCV
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. Building visual recognition models that adapt across different domains is a challenging task for computer vision. While feature-learning machines in the form of hierarchi...