EWCBR
2000
Springer
14 years 3 months ago
2000
Springer
This paper presents an approach to realize a case retrieval engine on top of a relational database. In a nutshell the core idea is to approximate a similarity-based retrieval with ...
EWCBR
2000
Springer
14 years 3 months ago
2000
Springer
An important focus of recent CBR research is on how to develop strategies for achieving compact, competent case-bases, as a way to improve the performance of CBR systems. However, ...
GIS
1998
ACM
14 years 3 months ago
1998
ACM
EWCBR
2000
Springer
14 years 3 months ago
2000
Springer
Collaborative filtering systems make recommendations based on the accumulation of ratings by many users. The process has a case-based reasoning flavor: recommendations are generate...
EWCBR
2000
Springer
14 years 3 months ago
2000
Springer
Many of today's CBR systems are passive in nature: they require human users to activate them manually and to provide information about the incoming problem explicitly. In this...
EWCBR
2000
Springer
14 years 3 months ago
2000
Springer
CL
2000
Springer
14 years 3 months ago
2000
Springer
Boolean circuits offer a natural, structured, and compact representation of Boolean functions for many application domains. In this paper a tableau method for solving satisfiabilit...
CL
2000
Springer
14 years 3 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
CL
2000
Springer
14 years 3 months ago
2000
Springer
This paper reports on the design and implementation of FLORA -- a powerful DOOD system that incorporates the features of F-logic, HiLog, and Transaction Logic. FLORA is implemented...
CL
2000
Springer
14 years 3 months ago
2000
Springer
We use Kleene algebra with tests to verify a wide assortment of common compiler optimizations, including dead code elimination, common subexpression elimination, copy propagation,...