Sciweavers

680 search results - page 34 / 136
» Intrinsically Motivated Machines
Sort
View
ICALT
2009
IEEE
13 years 5 months ago
Realtime Knowledge Space Skill Assessment for Personalized Digital Educational Games
Digital Educational Games offer immersive environments through which learners can enjoy motivational and compelling educational experiences. Applying personalization techniques wi...
Owen Conlan, Cormac Hampson, Neil Peirce, Michael ...
ICMLA
2009
13 years 5 months ago
An Ordinal Data Method for the Classification with Reject Option
In this work we consider the problem of binary classification where the classifier may abstain instead of classifying each observation, leaving the critical items for human evaluat...
Ricardo Sousa, Beatriz Mora, Jaime S. Cardoso
JMLR
2010
159views more  JMLR 2010»
13 years 2 months ago
Semi-Supervised Learning with Max-Margin Graph Cuts
This paper proposes a novel algorithm for semisupervised learning. This algorithm learns graph cuts that maximize the margin with respect to the labels induced by the harmonic fun...
Branislav Kveton, Michal Valko, Ali Rahimi, Ling H...
LPAR
2012
Springer
12 years 3 months ago
Querying Proofs
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
David Aspinall, Ewen Denney, Christoph Lüth
ADC
2004
Springer
87views Database» more  ADC 2004»
14 years 1 months ago
On the Computation of Approximations of Database Queries
Reflective Relational Machines were introduced by S. Abiteboul, C. Papadimitriou and V. Vianu in 1994, as variations of Turing machines which are suitable for the computation of ...
Flavio Antonio Ferrarotti, Jose Maria Turull Torre...