2583 search results - page 402 / 517 » On the Representation of Timed Polyhedra |
224
click to vote
AMDO
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose a hierarchical process for inferring the 3D pose of a person from monocular images. First we infer a learned view-based 2D body model from a single image using...
152
click to vote
AMDO
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Many applications in computer graphics require fast and robust collision detection algorithms. The problem of simulating motion in an articulated chain has been well stud...
169
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
157
click to vote
CHES
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Recently, Lenstra and Verheul proposed an efficient cryptosystem called XTR. This system represents elements of F p6 with order dividing p2 -p+1 by their trace over Fp2 ....
201
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...