1907 search results - page 349 / 382 » Search engines and Web dynamics |
118
click to vote
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
101
click to vote
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
We present the first hardware-in-the-loop evolutionary optimization on an ornithopter. Our experiments demonstrate the feasibility of evolving flight through genetic algorithms an...
104
click to vote
AIIDE
2007
15 years 4 months ago
2007
AI techniques are already widely used in game software to provide computer-controlled opponents for human players. However, game design is a more-challenging problem than game pla...
120
click to vote
COMPSAC
2008
IEEE
15 years 3 months ago
2008
IEEE
We present an online framework to capture and recover from program failures and prevent them from occurring in the future through safe execution perturbations. The perturbations a...
140
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is ...