Sciweavers

2905 search results - page 311 / 581
» Learning in Hyperlinked Environments
Sort
View
CAV
2007
Springer
164views Hardware» more  CAV 2007»
15 years 7 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
COLT
1995
Springer
15 years 6 months ago
Exactly Learning Automata with Small Cover Time
We present algorithms for exactly learning unknown environments that can be described by deterministic nite automata. The learner performs a walk on the target automaton, where at...
Dana Ron, Ronitt Rubinfeld
ECTEL
2008
Springer
15 years 5 months ago
Knowledge Management in the Communities of Practice of e-Learning
Abstract. A lot of research has been done to promote and develop good elearning models, practices, and technological environments. However, fewer efforts were deployed to support e...
Akila Sarirete
IJCAI
2007
15 years 4 months ago
Utile Distinctions for Relational Reinforcement Learning
We introduce an approach to autonomously creating state space abstractions for an online reinforcement learning agent using a relational representation. Our approach uses a tree-b...
William Dabney, Amy McGovern
109
Voted
MVA
2007
15 years 4 months ago
Semi-supervised Incremental Learning of Manipulative Tasks
For a social robot, the ability of learning tasks via human demonstration is very crucial. But most current approaches suffer from either the demanding of the huge amount of label...
Zhe Li, Sven Wachsmuth, Jannik Fritsch, Gerhard Sa...