Sciweavers

4306 search results - page 514 / 862
» Timed Testing with TorX
Sort
View
IV
2006
IEEE
124views Visualization» more  IV 2006»
15 years 10 months ago
The Making of Trigger and the Agile Engineering of Artist-Scientist Collaboration
The agile process approach used in software engineering was adapted as a foundation for the management of the multimedia art installation project titled "Trigger." By be...
Francis T. Marchese
ICCBR
2005
Springer
15 years 10 months ago
Evaluation and Monitoring of the Air-Sea Interaction Using a CBR-Agents Approach
This paper presents a model constructed for the evaluation of the interaction of the atmosphere and the ocean. The work here presented focuses in the development of an agent based ...
Javier Bajo, Juan M. Corchado
ICCSA
2005
Springer
15 years 10 months ago
Comparison of Global Optimization Methods for Drag Reduction in the Automotive Industry
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 ...
Laurent Dumas, Vincent Herbert, Frédé...
SAT
2005
Springer
124views Hardware» more  SAT 2005»
15 years 10 months ago
An Improved Upper Bound for SAT
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...
Evgeny Dantsin, Alexander Wolpert
GECCO
2004
Springer
131views Optimization» more  GECCO 2004»
15 years 9 months ago
Actuator Noise in Recombinant Evolution Strategies on General Quadratic Fitness Models
This paper addresses the influence of actuator noise on the steady state behavior of multirecombinant evolution strategies (ES) on general quadratic fitness functions. Actuator n...
Hans-Georg Beyer