607 search results - page 38 / 122 » Unifying Exact Completions |
ICCV
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper presents a top-down approach to 3D data analysis by fitting a Morphable Model to scans of faces. In a unified framework, the algorithm optimizes shape, texture, pose an...
103
click to vote
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...
DASFAA
2007
IEEE
15 years 5 months ago
2007
IEEE
As XML information proliferates on the Web, searching XML information via a search engine is crucial to the experience of both casual and experienced Web users. The returned XML fr...
ICCV
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract. We present a completely autonomous algorithm for the real-time creation of a moving subject’s kinematic model from optical motion capture data and with no a priori info...
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...