4036 search results - page 685 / 808 » Formal Methods |
168
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
In this paper we propose a general framework to solve the articulated shape matching problem, formulated as finding point-to-point correspondences between two shapes represented b...
174
click to vote
ICCV
1998
IEEE
16 years 8 months ago
1998
IEEE
I n this paper, we propose the use of mirrors and a single camerafor computational stereo. Whencompared to conventional stereo systems that use two cameras, our method has a numbe...
165
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. Mathematical Morphology (MM) offers a wide range of operators to address various image processing problems. These processing can be defined in terms of algebraic set or a...
311
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
Mediator-based data integration systems resolve exploratory queries by joining data elements across sources. In the presence of uncertainties, such multiple expansions can quickly ...
264
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
We identify and formalize a novel join operator for two spatial pointsets P and Q. The common influence join (CIJ) returns the pairs of points (p, q), p P, q Q, such that there e...