6800 search results - page 670 / 1360 » Testing with Functions as Specifications |
131
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— This paper deals with the generation of motion pattern for humanoid robots vertical jump. The study concentrates on the landing phase of the jump which is the most dema...
171
click to vote
CEC
2005
IEEE
16 years 26 days ago
2005
IEEE
Abstract- This paper presents a new operator for genetic algorithms that enhances their convergence in the case of nonlinear problems with nonlinear equality constraints. The propo...
195
click to vote
CSB
2005
IEEE
16 years 26 days ago
2005
IEEE
Functionally related genes co-evolve, probably due to the strong selection pressure in evolution. Thus we expect that they are present in multiple genomes. Physical proximity amon...
204
click to vote
IDA
2005
Springer
16 years 23 days ago
2005
Springer
We consider the problem of learning a ranking function, that is a mapping from instances to rankings over a finite number of labels. Our learning method, referred to as ranking by...
217
click to vote
ICML
2004
IEEE
16 years 20 days ago
2004
IEEE
This paper introduces RankOpt, a linear binary classifier which optimises the area under the ROC curve (the AUC). Unlike standard binary classifiers, RankOpt adopts the AUC stat...