Sciweavers

853 search results - page 104 / 171
» Team Learning of Computable Languages
Sort
View
83
Voted
ALT
1998
Springer
15 years 5 months ago
Predictive Learning Models for Concept Drift
Concept drift means that the concept about which data is obtained may shift from time to time, each time after some minimum permanence. Except for this minimum permanence, the con...
John Case, Sanjay Jain, Susanne Kaufmann, Arun Sha...
108
Voted
CAV
2007
Springer
164views Hardware» more  CAV 2007»
15 years 4 months ago
SAT-Based Compositional Verification Using Lazy Learning
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
Nishant Sinha, Edmund M. Clarke
CORR
2011
Springer
199views Education» more  CORR 2011»
14 years 7 months ago
From Machine Learning to Machine Reasoning
A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition co...
Léon Bottou
103
Voted
COGSR
2011
105views more  COGSR 2011»
14 years 7 months ago
Inductive rule learning on the knowledge level
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
Ute Schmid, Emanuel Kitzelmann
AIED
2007
Springer
15 years 7 months ago
Emotions and Learning with AutoTutor
The relationship between emotions and learning was investigated by tracking the emotions that college students experienced while learning about computer literacy with AutoTutor. Au...
Arthur C. Graesser, Patrick Chipman, Brandon King,...