854 search results - page 83 / 171 » Addressing Dynamic Issues of Program Model Checking |
122
Voted
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract- Evolutionary Algorithms (EAs) have the tendency to converge quickly into a single solution in the search space. However, many complex search problems require the identiï¬...
151
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Complete algorithms have been proposed to solve problems modelled as distributed constraint optimization (DCOP). However, there are only few attempts to address real world scenari...
106
Voted
ALIFE
2007
15 years 2 months ago
2007
Cross-reactions and other systematic difficulties generated by the coupling of functional chemical subsystems pose the largest challenge for assembling a viable protocell in the la...
124
Voted
WSC
2004
15 years 4 months ago
2004
Simulation is a powerful tool that helps decision makers in business and industry to solve difficult and complex problems, reduce cost, improve quality and productivity, and short...
117
click to vote
AAAI
2007
15 years 4 months ago
2007
The gap in automation between MIP/SAT solvers and those for constraint programming and constraint-based local search hinders experimentation and adoption of these technologies and...