Sciweavers

4911 search results - page 361 / 983
» Personal Learning Environments
Sort
View
ATVA
2006
Springer
153views Hardware» more  ATVA 2006»
15 years 10 months ago
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
Wonhong Nam, Rajeev Alur
JAIR
2006
111views more  JAIR 2006»
15 years 6 months ago
Learning in Real-Time Search: A Unifying Framework
Real-time search methods are suited for tasks in which the agent is interacting with an initially unknown environment in real time. In such simultaneous planning and learning prob...
Vadim Bulitko, Greg Lee
140
Voted
IJIM
2007
174views more  IJIM 2007»
15 years 6 months ago
Contextual Mobile Learning: A Step Further to Mastering Professional Appliances
—In this paper we describe our approach whose objective is to apply MOCOCO concepts to e-learning. After a short presentation of MOCOCO (Mobility, COoperation, Contextua-lisation...
Bertrand T. David, René Chalon, Olivier Cha...
175
Voted
AROBOTS
2002
91views more  AROBOTS 2002»
15 years 6 months ago
Fast, On-Line Learning of Globally Consistent Maps
To navigate in unknown environments, mobile robots require the ability to build their own maps. A major problem for robot map building is that odometry-based dead reckoning cannot ...
Tom Duckett, Stephen Marsland, Jonathan Shapiro
JMLR
2010
125views more  JMLR 2010»
15 years 28 days ago
Variational methods for Reinforcement Learning
We consider reinforcement learning as solving a Markov decision process with unknown transition distribution. Based on interaction with the environment, an estimate of the transit...
Thomas Furmston, David Barber