1544 search results - page 291 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
105
click to vote
ICALP
2009
Springer
15 years 12 months ago
2009
Springer
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
77
Voted
ICCBR
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we study the topic of CBR systems learning from observations in which those observations can be represented as stochastic policies. We describe a general framework wh...
CSL
2010
Springer
14 years 11 months ago
2010
Springer
We present a system for model-based source separation for use on single channel speech mixtures where the precise source characteristics are not known a priori. The sources are mo...
GIS
1998
ACM
14 years 11 months ago
1998
ACM
Geographical Information Systems (GIS) involve the manipulation of large spatial data sets, and the performance of these systems is often determined by how these data sets are orga...
DAGSTUHL
2001
15 years 1 months ago
2001
Visualization of an algorithm offers only a rough picture of operations. Explanations are crucial for deeper understanding, because they help the viewer to associate the visualiza...