2253 search results - page 191 / 451 » The ComFoRT Reasoning Framework |
137
click to vote
CADE
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
142
click to vote
CL
2000
Springer
15 years 9 months ago
2000
Springer
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
110
click to vote
ICCV
2001
IEEE
16 years 6 months ago
2001
IEEE
We present a new on-line scheme for the recognition and pose estimation of a large isolated 3-D object, which may not entirely fit in a camera's field of view. We do not assu...
153
click to vote
CADE
2003
Springer
16 years 4 months ago
2003
Springer
Abstract. We present an abstract view of existential variables in a dependently typed lambda-calculus based on modal type theory. This allows us to justify optimizations to pattern...
122
click to vote
ESWS
2005
Springer
15 years 10 months ago
2005
Springer
The Resource Description Framework (RDF) is a metadata model and language recommended by the W3C. This paper presents a framework to incorporate temporal reasoning into RDF, yieldi...