4340 search results - page 707 / 868 » Formal Methods and Cryptography |
140
click to vote
ECCV
2008
Springer
16 years 6 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...
280
click to vote
ICDE
2009
IEEE
16 years 6 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 ...
245
click to vote
ICDE
2008
IEEE
16 years 6 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...
248
click to vote
ICDE
2002
IEEE
16 years 6 months ago
2002
IEEE
We investigate techniques for analysis and retrieval of object trajectories in a two or three dimensional space. Such kind of data usually contain a great amount of noise, that ma...
157
click to vote
ICPR
2000
IEEE
16 years 6 months ago
2000
IEEE
This paper presents a cooperative strategy between volumetric registration and segmentation. The segmentation method is based on the level set formalism. Starting from an initial ...