2006 search results - page 121 / 402 » Testing with Respect to Concerns |
ICRA
2005
IEEE
14 years 3 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...
ICCSA
2005
Springer
14 years 3 months ago
2005
Springer
Various global optimization methods are compared in order to find the best strategy to solve realistic drag reduction problems in the automotive industry. All the methods consist ...
SAT
2005
Springer
14 years 3 months ago
2005
Springer
We give a randomized algorithm for testing satisfiability of Boolean formulas in conjunctive normal form with no restriction on clause length. Its running time is at most 2n(1−1...
GECCO
2004
Springer
14 years 3 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...
WLP
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of ...