Sciweavers

13913 search results - page 127 / 2783
» models 2007
Sort
View
GECCO
2007
Springer
125views Optimization» more  GECCO 2007»
16 years 26 days ago
Modelling danger and anergy in artificial immune systems
Steve Cayzer, Julie Sullivan
GECCO
2007
Springer
168views Optimization» more  GECCO 2007»
16 years 26 days ago
Analyzing probabilistic models in hierarchical BOA on traps and spin glasses
Mark Hauschild, Martin Pelikan, Cláudio F. ...
HVC
2007
Springer
109views Hardware» more  HVC 2007»
16 years 26 days ago
Symbolic Execution and Model Checking for Testing
Corina S. Pasareanu, Willem Visser
169
Voted
HYBRID
2007
Springer
16 years 26 days ago
The Image Computation Problem in Hybrid Systems Model Checking
André Platzer, Edmund M. Clarke