7811 search results - page 1373 / 1563 » computing 2004 |
145
click to vote
BIRTHDAY
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
161
Voted
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
Most tracking algorithms are based on the maximum a posteriori (MAP) solution of a probabilistic framework called Hidden Markov Model, where the distribution of the object state a...
149
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
Image retrieval critically relies on the distance function used to compare a query image to images in the database. We suggest to learn such distance functions by training binary ...
116
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
One of the major problems in modeling images for vision tasks is that images with very similar structure may locally have completely different appearance, e.g., images taken under...
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
Recognition of a person from gait has been a recent focus in computer vision. It is one biometric source that can be acquired at a distance. At this nascent stage of gait recognit...