1174 search results - page 132 / 235 » Optimizing generics is easy! |
129
click to vote
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
Our goal is to automatically determine the cast of a feature-length film. This is challenging because the cast size is not known, with appearance changes of faces caused by extrin...
ICIP
2000
IEEE
16 years 6 months ago
2000
IEEE
This paper addresses the problem of adapting a generic 3D face model to a human face of which the frontal and profile views are given. Assuming that a set of feature points have b...
211
click to vote
ICDE
1998
IEEE
16 years 5 months ago
1998
IEEE
Algebraic transformation and optimization techniques have been the method of choice in relational query execution, but applying them in OODBMS is difficult due to the complexity o...
136
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a genera...
133
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...