2286 search results - page 432 / 458 » Algorithms for Categorical Equivalence |
130
click to vote
CVPR
1999
IEEE
16 years 4 months ago
1999
IEEE
This paper makes two contributions. The first contribution is an approach called the "customized-queries" approach (CQA) to content-based image retrieval. The second is ...
124
click to vote
CVPR
2001
IEEE
16 years 4 months ago
2001
IEEE
A bugbear of uncalibrated stereo reconstruction is that cameras which deviate from the pinhole model have to be pre-calibrated in order to correct for nonlinear lens distortion. I...
112
click to vote
ICCV
1998
IEEE
16 years 3 months ago
1998
IEEE
A motion estimation algorithm using wavelet approximation as an optical ow model has been developed to estimate accurate dense optical ow from an image sequence. This wavelet moti...
228
click to vote
ICDE
2004
IEEE
16 years 3 months ago
2004
IEEE
Twig queries represent the building blocks of declarative query languages over XML data. A twig query describes a complex traversal of the document graph and generates a set of el...
136
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...