1018 search results - page 76 / 204 » Property Testing in Computational Geometry |
94
Voted
GI
2009
Springer
15 years 5 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
87
Voted
ICCV
2009
IEEE
16 years 5 months ago
2009
IEEE
We study the scenario of a multiview setting, where several
calibrated views of a textured object with known surface
geometry are available. The objective is to estimate a
diffu...
88
Voted
ICCV
2001
IEEE
16 years 2 months ago
2001
IEEE
A theory of stereo image formation is presented that enables a complete classification of all possible stereo views, including non-perspective varieties. Towards this end, the not...
104
click to vote
ICPR
2004
IEEE
16 years 1 months ago
2004
IEEE
In this paper, we propose a method for recovering the reflectance properties of a moving Lambertian object from an image sequence of the object taken by a fixed camera under unkno...
108
Voted
RTA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...