Sciweavers

2699 search results - page 375 / 540
» Planning to Gather Information
Sort
View
ICML
2003
IEEE
16 years 7 months ago
Exploration in Metric State Spaces
We present metric?? , a provably near-optimal algorithm for reinforcement learning in Markov decision processes in which there is a natural metric on the state space that allows t...
Sham Kakade, Michael J. Kearns, John Langford
SIGCSE
2009
ACM
140views Education» more  SIGCSE 2009»
16 years 7 months ago
Engagement: gaming throughout the curriculum
This paper considers how gaming has been infused into the computing curriculum of institutions in the United States. To increase motivation of students and improve retention, many...
Briana B. Morrison, Jon A. Preston
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
16 years 7 months ago
The Causal Graph Revisited for Directed Model Checking
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
Martin Wehrle, Malte Helmert
CHI
2010
ACM
16 years 1 months ago
Learning basic dance choreographies with different augmented feedback modalities
We plan to evaluate different kinds of augmented feedback (tactile, video, sound) for learning basic dance choreographies. Therefore we develop a dance training system based on mo...
Dieter Drobny, Jan Borchers
TMA
2010
Springer
206views Management» more  TMA 2010»
16 years 1 months ago
Collection and Exploration of Large Data Monitoring Sets Using Bitmap Databases
Collecting and exploring monitoring data is becoming increasingly challenging as networks become larger and faster. Solutions based on both SQL-databases and specialized binary for...
Luca Deri, Valeria Lorenzetti, Steve Mortimer