Sciweavers

3624 search results - page 273 / 725
» Learning to learn: From smart machines to intelligent machin...
Sort
View
ICML
2005
IEEE
16 years 7 months ago
Learning approximate preconditions for methods in hierarchical plans
A significant challenge in developing planning systems for practical applications is the difficulty of acquiring the domain knowledge needed by such systems. One method for acquir...
Dana S. Nau, David W. Aha, Héctor Muñ...
EDUTAINMENT
2009
Springer
16 years 1 months ago
Entertaining Education - Using Games-Based and Service-Oriented Learning to Improve STEM Education
This paper addresses the development of a computer game design and development curriculum at the authors’ institution. The basis for curriculum decisions, as well as comparison t...
Jon Preston, Briana Morrison
ICALT
2006
IEEE
16 years 24 days ago
Adapting for Visual and Verbal Learning Styles in AEH
This paper describes how visual and verbal learning styles have been successfully integrated into an adaptive educational environment. User trials of this system were carried out,...
Elizabeth J. Brown, Craig D. Stewart, Tim J. Brail...
ICML
2010
IEEE
15 years 7 months ago
COFFIN: A Computational Framework for Linear SVMs
In a variety of applications, kernel machines such as Support Vector Machines (SVMs) have been used with great success often delivering stateof-the-art results. Using the kernel t...
Sören Sonnenburg, Vojtech Franc
ICFEM
2004
Springer
16 years 3 days ago
Learning to Verify Safety Properties
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gu...