4117 search results - page 562 / 824 » On the Satisfiability of Complex Constraints |
172
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
— For complex optimization problems, several population-based heuristics like Multi-Objective Evolutionary Algorithms have been developed. These algorithms are aiming to deliver ...
187
click to vote
ICDCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Overlay routing has emerged as a promising approach to improving performance and reliability of Internet paths. To fully realize the potential of overlay routing under ...
196
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Layered hybrid controllers typically include a planner at the top level with reactive control at the lower levels. The planner considers the state of the robot in a global cont...
175
click to vote
FROCOS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We propose a new class of tree automata, called tree automata with normalization (TAN). This framework extends equational tree automata, and improved the results of them:...
190
click to vote
ICSE
2007
IEEE-ACM
16 years 27 days ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...