2905 search results - page 320 / 581 » Formal Memetic Algorithms |
170
click to vote
AUSAI
2005
Springer
16 years 3 days ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
191
click to vote
MM
2004
ACM
16 years 2 days ago
2004
ACM
Our research on Interactive Drama aims at conciliating interaction and story at the deepest level, the level of action. From a given story representation formalism, a set of eleme...
182
click to vote
CAV
2004
Springer
16 years 1 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...
151
click to vote
FMCAD
2004
Springer
16 years 1 days ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
160
click to vote
GCB
2004
Springer
16 years 23 hour ago
2004
Springer
: To facilitate research in comparative genomics, sequencing projects are increasingly aimed at assembling the genomes of closely related organisms. Given two incomplete assemblies...