4555 search results - page 73 / 911 » Deductive Algorithmic Knowledge |
GFKL
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. An overview of the Time Series Knowledge Mining framework to discover knowledge in multivariate time series is given. A hierarchy of temporal patterns, which are not a pr...
CSFW
2004
IEEE
14 years 2 months ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
DAWAK
1999
Springer
14 years 2 months ago
1999
Springer
Efficient query processing is one of the basic needs for data mining algorithms. Clustering algorithms, association rule mining algorithms and OLAP tools all rely on efficient quer...
AAAI
1993
13 years 11 months ago
1993
learning (EBL) component. In this paper we provide a brief review of FOIL and FOCL, then discuss how operationalizing a domain theory can adversely affect the accuracy of a learned...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
In order to handle classification problems with real-valued attributes using discretization algorithms it is necessary to obtain a good and reduced set of cut points in order to l...