7651 search results - page 1315 / 1531 » Information integration in the enterprise |
120
click to vote
EWCBR
2000
Springer
15 years 5 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...
115
click to vote
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
127
click to vote
GRID
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. In this paper we report on preliminary work and architectural design carried out in the "Data Management" work package in the International Data Grid project. O...
111
click to vote
HYBRID
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
110
Voted
ICCS
2000
Springer
15 years 5 months ago
2000
Springer
In this paper, we discuss Conceptual Knowledge Discovery in Databases (CKDD) in its connection with Data Analysis. Our approach is based on Formal Concept Analysis, a mathematical ...