1090 search results - page 73 / 218 » Type-Directed Partial Evaluation |
PG
2003
IEEE
14 years 1 months ago
2003
IEEE
The acquisition of geometric information from realworld objects has become a major way of modeling complex scenes and environments. Unfortunately, most optical methods for geometr...
ECCV
2010
Springer
14 years 2 days ago
2010
Springer
The problem of face identification has received significant attention over the years. For a given probe face, the goal of face identification is to match this unknown face against ...
MIS
2004
Springer
14 years 1 months ago
2004
Springer
When similarity queries over multimedia databases are processed by splitting the overall query condition into a set of sub-queries, the problem of how to efficiently and effectiv...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
ACL
1997
13 years 9 months ago
1997
This paper presents a partial solution to a component of the problem of lexical choice: choosing the synonym most typical, or expected, in context. We apply a new statistical appr...