6141 search results - page 1017 / 1229 » Models and representation of their ownership |
179
click to vote
VRML
2004
ACM
16 years 1 days ago
2004
ACM
In this paper we present a VRML97-X3D extension to describe precomputed visibility relationships in the context of progressive transmission as well as real time visualization of m...
201
click to vote
BIRTHDAY
2004
Springer
16 years 19 hour 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...
181
click to vote
JELIA
2004
Springer
15 years 12 months ago
2004
Springer
We briefly overview the most recent improvements we have incorporated to the existent implementations of the TAS methodology, the simplified ∆-tree representation of formulas i...
209
click to vote
ECCV
2010
Springer
15 years 12 months ago
2010
Springer
We present an analysis of the spatial covariance structure of an articulated motion prior in which joint angles have a known covariance structure. From this, a well-known, but ofte...
145
click to vote
DIS
2003
Springer
15 years 12 months ago
2003
Springer
Computing abductive explanations is an important problem, which has been studied extensively in Artificial Intelligence (AI) and related disciplines. While computing some abductiv...