2607 search results - page 450 / 522 » Complete Functional Synthesis |
CVPR
2012
IEEE
12 years 13 days ago
2012
IEEE
We present a novel framework for multiple object tracking in which the problems of object detection and data association are expressed by a single objective function. The framewor...
LICS
2012
IEEE
12 years 12 days ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
CVPR
2000
IEEE
15 years 14 hour ago
2000
IEEE
While several image-based rendering techniques have been proposed to successfully render scenes/objects from a large collection (e.g., thousands) of images without explicitly reco...
CVPR
2000
IEEE
15 years 14 hour ago
2000
IEEE
This paper presents a new method for rendering views, especially those of large-scale scenes, such as broad city landscapes. The main contribution of our method is that we are abl...
CVPR
2004
IEEE
15 years 14 hour ago
2004
IEEE
Many classes of images have the characteristics of sparse structuring of statistical dependency and the presence of conditional independencies among various groups of variables. S...