6800 search results - page 884 / 1360 » Testing with Functions as Specifications |
218
Voted
AEI
1999
15 years 6 months ago
1999
Design synthesis represents a highly complex task in the field of industrial design. The main difficulty in automating it is the definition of the design and performance spaces, i...
218
Voted
NC
2002
15 years 6 months ago
2002
This paper presents an overview of our most recent results concerning the Particle Swarm Optimization (PSO) method. Techniques for the alleviation of local minima, and for detectin...
193
Voted
SAC
2002
ACM
15 years 6 months ago
2002
ACM
Two independent sets of recent observations on newly sequenced microbial genomes pertain to the prevalence of short inversion as a gene order rearrangement process and to the lack...
161
click to vote
NCA
2010
IEEE
15 years 5 months ago
2010
IEEE
The Support Vector Machine (SVM) is an interesting classifier with excellent power of generalization. In this paper, we consider applying the SVM to semi-supervised learning. We p...
198
Voted
PPSN
2010
Springer
15 years 5 months ago
2010
Springer
In the paper we propose a new evolutionary algorithm for induction of univariate regression trees that associate leaves with simple linear regression models. In contrast to typical...