5387 search results - page 405 / 1078 » Generating generic functions |
250
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
Handling intra-personal variation is a major challenge in face recognition. It is difficult how to appropriately measure the similarity between human faces under significantly di...
165
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
Recovery of dynamic scene properties from multiple videos usually requires the manipulation of synchronous (simultaneously captured) frames. This paper is concerned with the autom...
285
Voted
CC
2009
Springer
16 years 7 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
173
click to vote
SAS
2009
Springer
16 years 7 months ago
2009
Springer
Interpretation from a Topological Perspective David A. Schmidt Kansas State University, Manhattan, Kansas, USA Abstract. Topology is the study of property sets (open sets) and cont...
174
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...