981 search results - page 76 / 197 » Negation in Spatial Reasoning |
GIS
2004
ACM
14 years 11 months ago
2004
ACM
Sensor networks are unattended deeply distributed systems whose schema can be conceptualized using the relational model. Aggregation queries on the data sampled at each ode are th...
CADE
2007
Springer
14 years 10 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
SEMWEB
2007
Springer
14 years 4 months ago
2007
Springer
This paper argues that a significant part of today’s Semantic Web research is still dominated by ideas from centralized databases. Furthermore, the main thread of reasoning rese...
AIED
2005
Springer
14 years 3 months ago
2005
Springer
We examine correlations between dialogue characteristics and learning in two corpora of spoken tutoring dialogues: a human-human corpus and a humancomputer corpus, both of which ha...
DIAGRAMS
2000
Springer
14 years 2 months ago
2000
Springer
Spider diagram systems provide a visual language that extends the popular and intuitive Venn diagrams and Euler circles. Designed to complement object-oriented modelling notations ...