845 search results - page 120 / 169 » Connecting Many-Sorted Theories |
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
We present a novel method for analyzing reflections on arbitrary surfaces. We model reflections using a broader than usual class of imaging models, which include both perspective ...
105
click to vote
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
Configurations of dense locally parallel 3D curves occur in medical imaging, computer vision and graphics. Examples include white matter fibre tracts, textures, fur and hair. We d...
209
click to vote
ICDE
2009
IEEE
16 years 1 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 ...
ICIP
2000
IEEE
16 years 1 months ago
2000
IEEE
We present an estimation-theoretic approach to curve evolution for the Mumford-Shah problem. By viewing an active contour as the set of discontinuities in the Mumford-Shah problem...
WWW
2007
ACM
16 years 15 days ago
2007
ACM
Cryptographic protocols are useful for trust engineering in Web transactions. The Cryptographic Protocol Programming Language (CPPL) provides a model wherein trust management anno...