Sciweavers

7928 search results - page 343 / 1586
» Human-Like Learning Methods for a
Sort
View
EXACT
2007
15 years 9 months ago
Learning Models from Temporal-Logic Properties via Explanations
Given a model and a property expressed in temporal logic, a model checker normally produces a counterexample in case the model does not satisfy the property. This counterexample i...
Miguel A. Carrillo, David A. Rosenblueth
ESANN
2007
15 years 8 months ago
Kernel-based online machine learning and support vector reduction
We apply kernel-based machine learning methods to online learning situations, and look at the related requirement of reducing the complexity of the learnt classifier. Online meth...
Sumeet Agarwal, V. Vijaya Saradhi, Harish Karnick
IWEC
2007
15 years 8 months ago
Pass the Ball: Game-Based Learning of Software Design
Based on our experience using active learning methods to teach object-oriented software design we propose a game-based approach to take the classroom experience into a virtual envi...
Guillermo Jiménez-Díaz, Mercedes G&o...
EMNLP
2006
15 years 8 months ago
Domain Adaptation with Structural Correspondence Learning
Discriminative learning methods are widely used in natural language processing. These methods work best when their training and test data are drawn from the same distribution. For...
John Blitzer, Ryan T. McDonald, Fernando Pereira
IJCAI
1997
15 years 8 months ago
Combining Knowledge Acquisition and Machine Learning to Control Dynamic Systems
This paper presents an interactive method for building a controller for dynamic systems by using a combination of knowledge acquisition and machine learning techniques. The aim is...
G. M. Shiraz, Claude Sammut