1017 search results - page 89 / 204 » A General Model for Authenticated Data Structures |
LREC
2010
13 years 10 months ago
2010
In ontology learning from texts, we have ontology-rich domains where we have large structured domain knowledge repositories or we have large general corpora with large general str...
PAMI
1998
13 years 8 months ago
1998
—We present a framework for analyzing the shape deformation of structures within the human brain. A mathematical model is developed describing the deformation of any brain struct...
TACAS
2001
Springer
14 years 1 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
SMA
1995
ACM
14 years 11 days ago
1995
ACM
: Fast and accurate collision detection between general solid models is a fundamental problem in solid modeling, robotics, animation and computer-simulated environments. Most of th...
CACM
1998
13 years 8 months ago
1998
abstraction for modeling these problems is to view the Web as a collection of (usually small and heterogeneous) databases, and to view programs that extract and process Web data au...