Sciweavers

3742 search results - page 585 / 749
» On the Use of Formal Techniques for Validation
Sort
View
EUROGP
2009
Springer
108views Optimization» more  EUROGP 2009»
16 years 1 months ago
Why Coevolution Doesn't "Work": Superiority and Progress in Coevolution
Coevolution often gives rise to counter-intuitive dynamics that defy our expectations. Here we suggest that much of the confusion surrounding coevolution results from imprecise not...
Thomas Miconi
GECCO
2009
Springer
166views Optimization» more  GECCO 2009»
16 years 1 months ago
Genetic programming in the wild: evolving unrestricted bytecode
We describe a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. B...
Michael Orlov, Moshe Sipper
ICIAR
2009
Springer
16 years 1 months ago
Structured Light Stereoscopic Imaging with Dynamic Pseudo-random Patterns
Abstract. Structured light stereoscopic imaging offers an efficient and affordable solution to 3D modeling of objects. The majority of structured light patterns that have been prop...
Pierre Payeur, Danick Desjardins
ICSOC
2009
Springer
16 years 1 months ago
An Automatic Approach to Enable Replacement of Conversational Services
Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of ...
Luca Cavallaro, Elisabetta Di Nitto, Matteo Pradel...
KES
2009
Springer
16 years 1 months ago
A Platform for Extracting and Storing Web Data
The web data or data originated on the Web contain information and knowledge which allows improving web site efficiency and effectiveness to attract and retain visitors. However, w...
L. Víctor Rebolledo, Juan D. Velásqu...