1276 search results - page 18 / 256 » Modeling of Process-Oriented Learning Designs |
DAC
2003
ACM
14 years 10 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
ICML
2008
IEEE
14 years 9 months ago
2008
IEEE
Semi-supervised learning aims at taking advantage of unlabeled data to improve the efficiency of supervised learning procedures. For discriminative models however, this is a chall...
ICML
2006
IEEE
14 years 9 months ago
2006
IEEE
This paper considers the problem of selecting the most informative experiments x to get measurements y for learning a regression model y = f(x). We propose a novel and simple conc...
CSL
2012
Springer
12 years 4 months ago
2012
Springer
Reinforcement techniques have been successfully used to maximise the expected cumulative reward of statistical dialogue systems. Typically, reinforcement learning is used to estim...
JUCS
2008
13 years 9 months ago
2008
: One of the key problems in developing standard based adaptive courses is the complexity involved in the design phase, especially when establishing the hooks for the dynamic model...