7335 search results - page 310 / 1467 » Scene Based Reasoning |
134
click to vote
FLOPS
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we describe some certified algorithms for exact real arithmetic based on co-recursion. Our work is based on previous experiences using redundant digits of base 2 but ...
125
click to vote
CADE
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using ...
138
click to vote
KR
2000
Springer
15 years 8 months ago
2000
Springer
We address the experiences of the DARPA High Performance Knowledge Bases (HPKB) (Cohen et al., 1998) project in practical knowledge representation. The purpose of the HPKB project...
126
click to vote
DLOG
2007
15 years 6 months ago
2007
Abstract. Many activities related to semantically annotated resources can be enabled by a notion of similarity among them. We propose a method for defining a family of semi-distan...
131
click to vote
KES
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a hybrid agents based architecture that uses casebased reasoning and case-based planning systems as reasoning mechanism in deliberative BDI agents to ...