2286 search results - page 388 / 458 » Algorithms for Categorical Equivalence |
133
click to vote
VCIP
2003
15 years 7 months ago
2003
A new set of boundary-handling algorithms has been developed for discrete wavelet transforms in the ISO/IEC JPEG-2000 Still Image Coding Standard. Two polyphase component extrapol...
166
click to vote
NIPS
1998
15 years 7 months ago
1998
There has been much recent work on measuring image statistics and on learning probability distributions on images. We observe that the mapping from images to statistics is many-to...
199
click to vote
AAAI
1996
15 years 7 months ago
1996
Markov decision processes (MDPs) are a very popular tool for decision theoretic planning (DTP), partly because of the welldeveloped, expressive theory that includes effective solu...
186
click to vote
MVA
1992
15 years 7 months ago
1992
We present an efficient and geometrically intuitive algorithm to reliably interpret the image velocities of moving objects in 3D. It is well known that in a small neighbourhood th...
194
click to vote
CIIA
2009
15 years 7 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...