2905 search results - page 112 / 581 » Formal Memetic Algorithms |
175
click to vote
PTS
2000
15 years 7 months ago
2000
We present a formal approach to check the correctness and to propose corrections of hand-written test suites with respect to a formal specification of the protocol implementations ...
139
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We investigate planning for self-interested agents in large multi-agent simulations. We present two heuristic algorithms that exploit different domain-specific properties in order...
143
click to vote
RECOMB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. There have been many widely used genome rearrangement models, such as reversals, HannenhalliPevzner, and double-cut and join. Though each one can be precisely defined, t...
175
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
There are many problems requiring a semantic account of a database schema. At its best, such an account consists of mapping formulas between the schema and a formal conceptual mode...
162
click to vote
EACL
1993
ACL Anthology
15 years 7 months ago
1993
ACL Anthology
The formal architecture of Lexical Functional Grammar offers a particular formal device, the structural correspondence, for modularizing the mapping between the surface forms of a...