1511 search results - page 55 / 303 » Relational Parametricity for Computational Effects |
118
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
The N-Normalization is an efficient method for normalizing a given similarity computed among multimedia objects. It can be considered for clustering and kernel enhancement. Howev...
133
Voted
LMCS
2006
15 years 4 months ago
2006
tract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice, but as an exponential object of the same...
235
click to vote
CVPR
2003
IEEE
16 years 6 months ago
2003
IEEE
We wish to determine the epipolar geometry of a stereo camera pair from image measurements alone. This paper describes a solution to this problem which does not require a parametr...
205
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
In this paper, we propose an image super-resolution approach using a novel generic image prior ? gradient profile prior, which is a parametric prior describing the shape and the s...
139
click to vote
CGI
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a purely hardware-accelerated shadow volume algorithm for subdivision surface based models. By introducing SP (subdivision patterns), all procedures, including ...