Sciweavers

EWCBR
2000
Springer
14 years 1 months ago
An Efficient Approach to Similarity-Based Retrieval on Top of Relational Databases
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 ...
Jürgen Schumacher, Ralph Bergmann
EWCBR
2000
Springer
14 years 1 months ago
Remembering Why to Remember: Performance-Guided Case-Base Maintenance
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, ...
David B. Leake, David C. Wilson
GIS
1998
ACM
14 years 1 months ago
Abstract and Discrete Modeling of Spatio-Temporal Data Types
Martin Erwig, Ralf Hartmut Güting, Markus Sch...
EWCBR
2000
Springer
14 years 1 months ago
A Case-Based Reasoning Approach to Collaborative Filtering
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...
Robin D. Burke
EWCBR
2000
Springer
14 years 1 months ago
Activating Case-Based Reasoning with Active Databases
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...
Sheng Li, Qiang Yang
EWCBR
2000
Springer
14 years 1 months ago
An Architecture for Knowledge Intensive CBR Systems
Belén Díaz-Agudo, Pedro A. Gonz&aacu...
CL
2000
Springer
14 years 1 months ago
Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking
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...
Tommi A. Junttila, Ilkka Niemelä
CL
2000
Springer
14 years 1 months ago
Concurrent Constraint Programming with Process Mobility
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...
David Gilbert, Catuscia Palamidessi
CL
2000
Springer
14 years 1 months ago
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine
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...
Guizhen Yang, Michael Kifer
CL
2000
Springer
14 years 1 months ago
Certification of Compiler Optimizations Using Kleene Algebra with Tests
We use Kleene algebra with tests to verify a wide assortment of common compiler optimizations, including dead code elimination, common subexpression elimination, copy propagation,...
Dexter Kozen, Maria-Christina Patron