Sciweavers

332 search results - page 44 / 67
» Using transformations to improve semantic matching
Sort
View
CVPR
2006
IEEE
16 years 1 months ago
An Intensity-augmented Ordinal Measure for Visual Correspondence
Determining the correspondence of image patches is one of the most important problems in Computer Vision. When the intensity space is variant due to several factors such as the ca...
Anurag Mittal, Visvanathan Ramesh
CVPR
1999
IEEE
16 years 1 months ago
Generic Object Detection using Model Based Segmentation
This paper presents a novel approach for detection and segmentation of generic shapes in cluttered images. The underlying assumption is that generic objects that are man made, fre...
Zhiqian Wang, Jezekiel Ben-Arie
EDBT
2008
ACM
120views Database» more  EDBT 2008»
15 years 12 months ago
Schema mapping verification: the spicy way
Schema mapping algorithms rely on value correspondences ? i.e., correspondences among semantically related attributes ? to produce complex transformations among data sources. Thes...
Angela Bonifati, Giansalvatore Mecca, Alessandro P...
FMSD
2007
110views more  FMSD 2007»
14 years 11 months ago
Exploiting interleaving semantics in symbolic state-space generation
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
Gianfranco Ciardo, Gerald Lüttgen, Andrew S. ...
CP
2005
Springer
15 years 5 months ago
Applying Constraint Programming to Rigid Body Protein Docking
In this paper we show how Constraint Programming (CP) techniques can improve the efficiency and applicability of grid-based algorithms for optimising surface contact between comple...
Ludwig Krippahl, Pedro Barahona