Sciweavers

4299 search results - page 486 / 860
» Concurrent Test Generation
Sort
View
ECP
1999
Springer
157views Robotics» more  ECP 1999»
15 years 9 months ago
SAT-Based Procedures for Temporal Reasoning
In this paper we study the consistency problem for a set of disjunctive temporal constraints [Stergiou and Koubarakis, 1998]. We propose two SAT-based procedures, and show that—o...
Alessandro Armando, Claudio Castellini, Enrico Giu...
118
Voted
GECCO
1999
Springer
105views Optimization» more  GECCO 1999»
15 years 9 months ago
Linkage Information Processing In Distribution Estimation Algorithms
The last few years there has been an increasing amount of interest in the eld of distribution estimation optimization algorithms. As more techniques are introduced, the variety in...
Peter A. N. Bosman, Dirk Thierens
130
Voted
EURODAC
1994
IEEE
140views VHDL» more  EURODAC 1994»
15 years 9 months ago
GSA: scheduling and allocation using genetic algorithm
This paper describes a unique approach to scheduling and allocation problem in high-level synthesis using genetic algorithm (GA). This approach is dierent from a previous attempt ...
Ali Shahid, Muhammad S. T. Benten, Sadiq M. Sait
KDD
1994
ACM
140views Data Mining» more  KDD 1994»
15 years 9 months ago
A Comparison of Pruning Methods for Relational Concept Learning
Pre-Pruning and Post-Pruning are two standard methods of dealing with noise in concept learning. Pre-Pruning methods are very efficient, while Post-Pruning methods typically are m...
Johannes Fürnkranz
ICTAI
1992
IEEE
15 years 9 months ago
Genetic Algorithms as a Tool for Feature Selection in Machine Learning
This paper describes an approach being explored to improve the usefulness of machine learning techniques for generating classification rules for complex, real world data. The appr...
Haleh Vafaie, Kenneth A. De Jong