2646 search results - page 283 / 530 » Local Type Inference |
159
click to vote
ICPR
2006
IEEE
16 years 22 days ago
2006
IEEE
Region duplication forgery, in which a part of a digital image is copied and then pasted to another portion of the same image in order to conceal an important object in the scene,...
205
click to vote
SIGGRAPH
1999
ACM
15 years 11 months ago
1999
ACM
Antialiasing of ray traced images is typically performed by supersampling the image plane. While this type of filtering works well for many algorithms, it is much more efficient t...
182
click to vote
TYPES
1998
Springer
15 years 11 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
151
click to vote
HPDC
1993
IEEE
15 years 10 months ago
1993
IEEE
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...
157
click to vote
CLOR
2006
15 years 10 months ago
2006
We present a component-based system for object detection and identification. From a set of training images of a given object we extract a large number of components which are clust...