2440 search results - page 215 / 488 » Abstraction Learning |
123
click to vote
GECCO
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Population size for EvolutionaryAlgorithms is usually an empirical parameter. We study the population size from aspects of fitness landscapes’ ruggedness and Probably ...
102
click to vote
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We describe an interpolant-based approach to test generation and model checking for sequential programs. The method generates Floyd/Hoare style annotations of the program...
102
click to vote
ESANN
2006
15 years 2 months ago
2006
Abstract. The paper presents an algorithm for identifying the independent subspace analysis model based on source dynamics. We propose to separate subspaces by decoupling their dyn...
ICIRA
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Two algorithms for area coverage (for use in space applications) were evaluated using a simulator and then tested on a multi-robot society consisting of LEGO Mindstorms r...
110
click to vote
ORL
2010
14 years 8 months ago
2010
Abstract. We formulate the multiperiod, distribution-free perishable inventory problem as a problem of prediction with expert advice and apply an online learning method (the Weak A...