3954 search results - page 341 / 791 » Image-based Model Completion |
154
click to vote
WSE
2002
IEEE
15 years 11 months ago
2002
IEEE
Various approaches can be used to migrate legacy applications to the Web. In particular, migrating dataintensive legacy applications (e.g. traditional application for business man...
190
click to vote
DALT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
175
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
In this work we evaluate a Particle Swarm Optimizer hybridized with Differential Evolution and apply it to the BlackBox Optimization Benchmarking for noisy functions (BBOB 2009)....
178
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
In this work we evaluate a Particle Swarm Optimizer hybridized with Differential Evolution and apply it to the BlackBox Optimization Benchmarking for noiseless functions (BBOB 20...
179
click to vote
WFLP
2009
Springer
15 years 10 months ago
2009
Springer
Numerous computational and deductive frameworks use the notion of strategy to guide reduction and search space exploration, making the macro scale control of micro operations an ex...