2905 search results - page 271 / 581 » Formal Memetic Algorithms |
104
click to vote
DIS
2009
Springer
15 years 5 months ago
2009
Springer
Motivated by the need for unification of the domain of data mining and the demand for formalized representation of outcomes of data mining investigations, we address the task of c...
DNA
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Laboratory investigations have shown that a formal theory of fault-tolerance will be essential to harness nanoscale self-assembly as a medium of computation. Several rese...
FMCAD
2009
Springer
15 years 5 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
LPNMR
2009
Springer
15 years 5 months ago
2009
Springer
Circumscription is one of the most important formalisms for reasoning with incomplete information. It is equivalent to reasoning under the extended closed world assumption, which a...
DATE
2008
IEEE
15 years 5 months ago
2008
IEEE
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...