1581 search results - page 208 / 317 » Mechanizing Inductive Reasoning |
131
click to vote
SEMWEB
2001
Springer
15 years 7 months ago
2001
Springer
Resource discovery is a problem common to almost all distributed systems. Instead of resulting in a one or a small number of discovery mechanisms, completely different and incompa...
139
click to vote
CONTEXT
1999
Springer
15 years 7 months ago
1999
Springer
AI and psychological approaches to context are contrasted and the dynamic and automatic nature of the continuous context change in human cognition is emphasized. A dynamic theory o...
128
click to vote
TACAS
1999
Springer
15 years 7 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
124
click to vote
CVPR
1997
IEEE
15 years 7 months ago
1997
IEEE
We present an incremental system that builds accurate CAD models of objects from multiple range images. Using a hybrid of surface mesh and volumetric representations, the system c...
114
click to vote
HICSS
1996
IEEE
15 years 7 months ago
1996
IEEE
Parallel simulation is expected to speed up simulation run time in a signi cant way. This paper describes a framework that is used to evaluate the performance of parallel simulati...