1544 search results - page 236 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
EWCBR
2008
Springer
15 years 1 months ago
2008
Springer
How to endow case-based reasoning systems with effective case adaptation capabilities is a classic problem. A significant impediment to developing automated adaptation procedures i...
CADE
2003
Springer
16 years 4 days ago
2003
Springer
We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugg...
ICCBR
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. This paper presents an approach of case mining to automatically discover case bases from large datasets in order to improve both the speed and the quality of case based r...
115
click to vote
MSO
2003
15 years 1 months ago
2003
The Tracker is one of the CMS (Compact Muon Solenoid experiment) detectors to be installed at the LHC (Large Hadron Collider) accelerator, scheduled to start data taking in 2007. ...
101
click to vote
GIS
2002
ACM
14 years 11 months ago
2002
ACM
This paper contributes a general approach to characterizing patterns of change in a spatio-temporal database. While there is a particular interest in modelling and querying how sp...