8828 search results - page 1310 / 1766 » Formal methods in practice |
220
click to vote
TOG
2012
13 years 9 months ago
2012
We present a theoretical framework and practical method for the automatic construction of simple, all-quadrilateral patch layouts on manifold surfaces. The resulting layouts are c...
275
click to vote
TOG
2012
13 years 9 months ago
2012
We introduce tensor displays: a family of compressive light field displays comprising all architectures employing a stack of timemultiplexed, light-attenuating layers illuminated...
220
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Modeling representations of image patches that are quasi-invariant to spatial deformations is an important problem in computer vision. In this paper, we propose a novel concept, t...
199
click to vote
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
: In many computer vision classification problems, both the error and time characterizes the quality of a decision. We show that such problems can be formalized in the framework of...
328
click to vote
ICDE
2003
IEEE
16 years 8 months ago
2003
IEEE
Intuitively, data management and data integration tools should be well-suited for exchanging information in a semantically meaningful way. Unfortunately, they suffer from two sign...