6943 search results - page 747 / 1389 » Representations for evolutionary algorithms |
206
click to vote
CAV
2004
Springer
16 years 20 days ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
183
click to vote
CC
2004
Springer
16 years 20 days ago
2004
Springer
This paper concerns static-analysis algorithms for analyzing x86 executables. The aim of the work is to recover intermediate representations that are similar to those that can be c...
188
click to vote
MEMOCODE
2003
IEEE
16 years 16 days ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
172
click to vote
ATAL
2003
Springer
16 years 15 days ago
2003
Springer
Agents interacting in a multiagent environment not only have to be wary of interfering with each other when carrying out their tasks, but also should capitalize on opportunities f...
213
click to vote
ICCBR
2003
Springer
16 years 15 days ago
2003
Springer
Abstract. The definition of similarity measures is one of the most crucial aspects when developing case-based applications. In particular, when employing similarity measures that ...