1636 search results - page 167 / 328 » Reasoning About Quantum Systems |
156
click to vote
TACAS
1999
Springer
15 years 10 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...
157
click to vote
CHI
1994
ACM
15 years 10 months ago
1994
ACM
My doctoral research focuses on the usability and usage of new computer technology such as interactive systems that support the combination different input media such as voice, ge...
189
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
When intelligent systems reason about complex problems with a large hierarchical classification space it is hard to evaluate system performance. For classification problems, differ...
169
click to vote
EKAW
2000
Springer
15 years 10 months ago
2000
Springer
Although the necessity of an ontology and ontological engineering is well-understood, there has been few success stories about ontology construction and its deployment to date. Thi...
156
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper describes a camera-based observation system for football games that is used for the automatic analysis of football games and reasoning about multi-agent activity. The o...