428 search results - page 23 / 86 » Completeness of a Fact Extractor |
CADE
1998
Springer
15 years 1 months ago
1998
Springer
It is a well-known fact that some form of factoring is necessary for completeness of paramodulation-based calculi of general first-order clauses. In this paper we give an overview...
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In this paper, we address the problem of estimating the motion of fluid flows that are visualized through a Schlieren system. Such a system is well known in fluid mechani...
ICCBR
2009
Springer
15 years 4 months ago
2009
Springer
A model-free, case-based learning and control algorithm called S-learning is described as implemented in a simulation of a light-seeking mobile robot. S-learning demonstrated learn...
SAINT
2007
IEEE
15 years 3 months ago
2007
IEEE
A database query caching technique, GlobeCBC, can be used to improve the scalability of Web applications. This paper addresses the availability issues in GlobeCBC. Even though hig...
99
Voted
CAV
2007
Springer
15 years 3 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...