989 search results - page 102 / 198 » Version spaces and the consistency problem |
141
click to vote
COCOON
2005
Springer
15 years 11 months ago
2005
Springer
Given a set of leaf-labelled trees with identical leaf sets, the well-known MAST problem consists of finding a subtree homeomorphically included in all input trees and with the la...
170
click to vote
ICIC
2005
Springer
15 years 11 months ago
2005
Springer
Rather than the difficulties of highly non-linear and non-Gaussian observation process and the state distribution in single target tracking, the presence of a large, varying number...
162
click to vote
ESCIENCE
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we present a general domain for the analysis of workflows and workflow components based on the notion of a collection of Turing machines sharing a set of tapes. We s...
161
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
We address the problem of finding sparse wavelet representations of high-dimensional vectors. We present a lower-bounding technique and use it to develop an algorithm for computi...
162
click to vote
AAAI
2000
15 years 7 months ago
2000
Most CBR systems rely on a fixed library of cases, where each case consists of a set of facts specified in advance. This paper describes techniques for dynamically extracting case...