Sciweavers

2842 search results - page 405 / 569
» The Learn@WU Learning Environment
Sort
View
TNN
2008
105views more  TNN 2008»
15 years 4 months ago
Incremental Learning of Chunk Data for Online Pattern Classification Systems
This paper presents a pattern classification system in which feature extraction and classifier learning are simultaneously carried out not only online but also in one pass where tr...
Seiichi Ozawa, Shaoning Pang, Nikola K. Kasabov
CAV
2007
Springer
164views Hardware» more  CAV 2007»
15 years 8 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 8 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 6 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 5 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