2342 search results - page 299 / 469 » Sublinear geometric algorithms |
136
click to vote
CVPR
1996
IEEE
15 years 7 months ago
1996
IEEE
The problem of determining feature correspondences across multiple views is considered. The term true multi-image" matching is introduced to describe techniques that make ful...
191
click to vote
CVRMED
1997
Springer
15 years 7 months ago
1997
Springer
In this paper we address the problem of extracting geometric models from low contrast volumetric images, given a template or reference shape of that model. We proceed by deforming...
140
click to vote
DAC
1996
ACM
15 years 7 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
123
click to vote
RT
1997
Springer
15 years 7 months ago
1997
Springer
: Realistic image synthesis research involves the simulation of visible light propagation within an environment with a view to computing an image that evokes a similar visual respo...
134
click to vote
ICRA
1993
IEEE
15 years 7 months ago
1993
IEEE
The problem of programming a robot t o carry out a systematic exploration of its environment using realistic sensors is considered in this paper. The robot is modelled as a single...