2527 search results - page 229 / 506 » A UML-Based Approach to System Testing |
141
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
Satisfiability testing (SAT) is a very active area of research today, with numerous real-world applications. We describe CLASS2.0, a genetic programming system for semi-automatica...
118
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
- This paper presents a sensor fault detection and diagnosis system for autonomous helicopters. The system has been tested with the MARVIN autonomous helicopter. Fault detection is...
145
click to vote
NIPS
2008
15 years 6 months ago
2008
Extensive labeled data for image annotation systems, which learn to assign class labels to image regions, is difficult to obtain. We explore a hybrid model framework for utilizing...
127
click to vote
GECCO
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we present a concurrent implementation of genetic algorithms designed for shared memory architectures intended to take advantage of multi-core processor platforms. O...
149
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. This paper presents two new approaches to prove termination of rewrite systems with the Knuth-Bendix order efficiently. The constraints for the weight function and for th...