11436 search results - page 528 / 2288 » Modeling Real Reasoning |
197
click to vote
AUSAI
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
201
click to vote
BVAI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The aim of this paper is to introduce a novel, biologically inspired approach to extract visual features relevant for controlling and understanding reachto-grasp actions....
174
click to vote
ACMSE
2008
ACM
15 years 9 months ago
2008
ACM
Numerical solution of any large, three-dimensional fluid flow problem is a computationally intensive task that typically requires supercomputer solution to achieve reasonable exec...
186
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The alignment of different ontologies requires the specification, representation and execution of translation rules. The rules need to integrate translations at the lexic...
185
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...