Sciweavers

17 search results - page 4 / 4
» Anytime Approximate Modal Reasoning
Sort
View
SDM
2009
SIAM
164views Data Mining» more  SDM 2009»
14 years 2 months ago
Exact Discovery of Time Series Motifs.
Time series motifs are pairs of individual time series, or subsequences of a longer time series, which are very similar to each other. As with their discrete analogues in computat...
Abdullah Mueen, Eamonn J. Keogh, M. Brandon Westov...
CORR
2000
Springer
132views Education» more  CORR 2000»
13 years 5 months ago
Uniform semantic treatment of default and autoepistemic logics
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general seman...
Marc Denecker, Victor W. Marek, Miroslaw Truszczyn...