2989 search results - page 15 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
84
Voted
EVOW
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The implementation of an evolutionary algorithm necessarily involves the selection of an appropriate set of genetic operators. For many real-world problem domains, an inc...
ECBS
2003
IEEE
15 years 2 months ago
2003
IEEE
System families are a form of high level reuse of development assets in a specific problem domain, by making use of commonalities and variabilities. To represent assets belonging ...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
In this report, we describe three encodings of the multiple constant multiplication (MCM) problem to pseudo-boolean satisfiability (PBS), and introduce an algorithm to solve the M...
COORDINATION
2000
Springer
15 years 1 months ago
2000
Springer
Distributed information systems for decision-support, logistics, and e-commerce involve coordination of autonomous information resources and clients according to specific domain in...
61
Voted
JETAI
2002
14 years 9 months ago
2002
We outline the rationale and preliminary results of using the State Context Property (SCOP) formalism, originally developed as a generalization of quantum mechanics, to describe t...