4930 search results - page 169 / 986 » Learning minimal abstractions |
INTERNET
2007
15 years 24 days ago
2007
that the educator is an abstract role; often many kinds of people are involved, including subject-matter experts, content authors, instructional designers, and teachers. No individ...
100
click to vote
APLAS
2010
ACM
15 years 1 months ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...
121
click to vote
AIR
2006
15 years 29 days ago
2006
Abstract Supervised classification is one of the tasks most frequently carried out by socalled Intelligent Systems. Thus, a large number of techniques have been developed based on ...
GECCO
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Designing an adequate fitness function requiressubstantial knowledge of a problem and of features that indicate progress towards a solution. Coevolution takes the human ...
109
click to vote
ICDAR
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper a methodology for feature selection in unsupervised learning is proposed. It makes use of a multiobjective genetic algorithm where the minimization of the number of ...