279 search results - page 20 / 56 » Learning and reasoning about interruption |
IDEAL
2004
Springer
14 years 2 months ago
2004
Springer
Most financial time series processes are nonstationary and their frequency characteristics are time-dependant. In this paper we present a time series summarization and prediction ...
ICML
1996
IEEE
14 years 23 days ago
1996
IEEE
Recently, there has been an increased interest in "lifelong" machine learning methods, that transfer knowledge across multiple learning tasks. Such methods have repeated...
ITS
2000
Springer
14 years 5 days ago
2000
Springer
This paper reports a formative analysis of a Math Modeling Tool in the Algebra II Cognitive Tutor. This tutor is designed to support algebraic reasoning about real world problems. ...
FLAIRS
2008
13 years 11 months ago
2008
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...
ICSE
2007
IEEE-ACM
14 years 2 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...