192 search results - page 29 / 39 » Using SAT-Solvers to Compute Inference-Proof Database Instan... |
DEXA
2009
Springer
15 years 6 months ago
2009
Springer
SHIRI 1 is an ontology-based system for integration of semistructured documents related to a specific domain. The system’s purpose is to allow users to access to relevant parts ...
100
click to vote
GRAPHITE
2003
ACM
15 years 4 months ago
2003
ACM
We consider a repository of animation models and motions that can be reused to generate new animation sequences. For instance, a user can retrieve an animation of a dog kicking it...
110
click to vote
ECCV
2002
Springer
16 years 1 months ago
2002
Springer
Abstract. This paper addresses the problem of probabilistically modeling 3D human motion for synthesis and tracking. Given the high dimensional nature of human motion, learning an ...
ECCV
2000
Springer
16 years 1 months ago
2000
Springer
The initialisation of segmentation methods aiming at the localisation of biological structures in medical imagery is frequently regarded as a given precondition. In practice, howev...
101
click to vote
EDBT
2010
ACM
15 years 1 months ago
2010
ACM
Users who are unfamiliar with database query languages can search XML data sets using keyword queries. Current approaches for supporting such queries are either for textcentric XM...