6141 search results - page 416 / 1229 » Models and representation of their ownership |
185
click to vote
ITS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
178
click to vote
ASP
2003
Springer
16 years 3 days ago
2003
Springer
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
202
click to vote
IV
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper introduces an immersive virtual reality application that allows users to browse and explore the contents of database systems. We have implemented a visualization metaph...
171
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
ENOR is an innovative way to produce provablypassive, reciprocal, and compact representations of RLC circuits. Beginning with the nodal equations, ENOR formulates recurrence relat...
156
click to vote
CEAS
2006
Springer
15 years 10 months ago
2006
Springer
Access to historically significant email archives poses challenges that arise less often in personal collections. Most notably, searchers may need help making sense of the identit...