3416 search results - page 97 / 684 » Can Machines Learn Logics |
153
Voted
EXACT
2007
15 years 8 months ago
2007
Given a model and a property expressed in temporal logic, a model checker normally produces a counterexample in case the model does not satisfy the property. This counterexample i...
164
click to vote
TREC
2004
15 years 7 months ago
2004
This paper reports our knowledge-ignorant machine learning approach to the triage task in TREC2004 genomics track, which is actually a text categorization problem. We applied Supp...
177
click to vote
ILP
2000
Springer
15 years 9 months ago
2000
Springer
A method for learning multivariate time series classifiers by inductive logic programming is presented. Two types of background predicate that are suited for this task are introduc...
160
click to vote
ICML
2000
IEEE
16 years 7 months ago
2000
IEEE
Landmarking is a novel approach to describing tasks in meta-learning. Previous approaches to meta-learning mostly considered only statistics-inspired measures of the data as a sou...
140
click to vote
ECTEL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a simple and extendible framework to collect attention metadata and store them for further analysis. Currently, several metadata collectors have been implement...