Sciweavers

2440 search results - page 159 / 488
» Learn .MT: A New Approach to Incremental Learning
Sort
View
ICALT
2010
IEEE
15 years 7 months ago
Towards the Generalization of Game-Based Learning: Integrating Educational Video Games in LAMS
In e-Learning the interest on the use of new kinds of highly-interactive content is increasing. In this regard video games are one of the media that is gaining momentum because of ...
Ángel del Blanco, Javier Torrente, Pablo Mo...
CAV
2007
Springer
164views Hardware» more  CAV 2007»
15 years 10 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
ILP
2004
Springer
16 years 1 days ago
Macro-Operators Revisited in Inductive Logic Programming
For the last ten years a lot of work has been devoted to propositionalization techniques in relational learning. These techniques change the representation of relational problems t...
Érick Alphonse
IEICET
2010
207views more  IEICET 2010»
15 years 5 months ago
A Semi-Supervised Approach to Perceived Age Prediction from Face Images
We address the problem of perceived age estimation from face images, and propose a new semi-supervised approach involving two novel aspects. The first novelty is an efficient act...
Kazuya Ueki, Masashi Sugiyama, Yasuyuki Ihara
GECCO
2004
Springer
16 years 2 days ago
Evolving a Roving Eye for Go
Go remains a challenge for artificial intelligence. Currently, most machine learning methods tackle Go by playing on a specific fixed board size, usually smaller than the standa...
Kenneth O. Stanley, Risto Miikkulainen