804 search results - page 95 / 161 » On the Termination of the Chase Algorithm |
ICCV
2003
IEEE
16 years 2 months ago
2003
IEEE
Occlusions are commonplace in man-made and natural environments; they often result in photometric features where a line terminates at an occluding boundary, resembling a "T&q...
ICIP
2004
IEEE
16 years 2 months ago
2004
IEEE
A fast mode decision method for Intra prediction in H.264 is proposed in this work to reduce the encoder complexity. The proposed algorithm adopts a multi-stage sequential mode de...
CADE
2002
Springer
16 years 28 days ago
2002
Springer
Decision procedures for combinations of theories are at the core of many modern theorem provers such as ACL2, Ehdm, PVS, SIMPLIFY, the Stanford Pascal Verifier, STeP, SVC, and Z/Ev...
114
Voted
MOBIHOC
2002
ACM
16 years 6 days ago
2002
ACM
Ad hoc networks formed without the aid of any established infrastructure are typically multi-hop networks. Location dependent contention and "hidden terminal" problem ma...
114
Voted
ICVS
2009
Springer
15 years 7 months ago
2009
Springer
This paper presents a computer vision system for tracking and predicting flying balls in 3-D from a stereo-camera. It pursues a “textbook-style” approach with a robust circle ...