4850 search results - page 628 / 970 » Proof and Computation in Geometry |
193
click to vote
DASIP
2010
15 years 1 months ago
2010
This paper describes the implementation of the MPEG AVC CABAC entropy decoder using the RVC-CAL dataflow programming language. CABAC is the Context based Adaptive Binary Arithmeti...
201
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
A sequence fn(q) is q-holonomic if it satisfies a nontrivial linear recurrence with coefficients polynomials in q and qn . Our main theorem states that q-holonomicity is preserve...
190
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...
155
click to vote
CVPR
1997
IEEE
16 years 8 months ago
1997
IEEE
We present a method for computing dense visual correspondence based on general assumptions about scene geometry. Our algorithm does not rely on correlation, and uses a variable re...
200
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Recovering the 3D coordinates of various joints of the human body from an image is a critical first step for several model-based human tracking and optical motion capture systems....