2940 search results - page 89 / 588 » Relational Parametricity and Control |
162
click to vote
DLS
2005
15 years 6 months ago
2005
The DDP (Demand-driven/Pruning) analysis algorithm allows us to perform data-flow analyses of programming languages that are dynamically typed and have higher-order control flow...
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...
143
click to vote
IWCM
2004
Springer
15 years 9 months ago
2004
Springer
We present a variational approach for segmenting the image plane into regions of piecewise parametric motion given two or more frames from an image sequence. Our model is based on ...
152
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Many real life problems require the classification of items into naturally ordered classes. These problems are traditionally handled by conventional methods intended for the class...
121
click to vote
GRAPHICSINTERFACE
2001
15 years 5 months ago
2001
In this paper, a novel concept, rayset, is proposed. A new image based representation, object centered concentric mosaics (OCCM), is derived based on this concept. The rayset is a...