317 search results - page 38 / 64 » Geometry of abstraction in quantum computation |
133
click to vote
DGCI
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We present a novel template matching framework for detecting geometrically transformed objects. A template is a simplified representation of the object of interest by a s...
155
click to vote
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
Abstract: This paper proposes a novel approach to nonrigid, markerless motion capture from synchronized video streams acquired by calibrated cameras. The instantaneous geometry of ...
119
click to vote
ECCV
2002
Springer
16 years 3 months ago
2002
Springer
Abstract. We introduce a new methodology for radiometric reconstruction from multiple images. It opens new possibilities because it allows simultaneous recovery of varying unknown ...
111
click to vote
ECCV
2000
Springer
16 years 3 months ago
2000
Springer
Abstract. We study the special form that the general multi-image tensor formalism takes under the plane + parallax decomposition, including matching tensors and constraints, closur...
116
click to vote
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...