620 search results - page 40 / 124 » Verification and Validation and Artificial Intelligence |
EVOW
2004
Springer
14 years 2 months ago
2004
Springer
This paper describes a novel representation and ordering model that, aided by an evolutionary algorithm, is used in solving the graph k-colouring problem. Its strength lies in redu...
EVOW
2003
Springer
14 years 1 months ago
2003
Springer
This paper explores the application of evolutionary techniques to the design of novel sounds and their characteristics during performance. It is based on the “selective breeding...
ECAL
2001
Springer
14 years 1 months ago
2001
Springer
Since the concept of autopoiesis was proposed as a model of minimal living systems by Maturana and Varela, and applied to social systems by Luhmann, there has been only a few math...
TABLEAUX
1998
Springer
14 years 28 days ago
1998
Springer
We present a framework for eliminating redundancies during the reconstruction of sequent proofs from matrix proofs. We show that search-free proof reconstruction requires knowledge...
AUSAI
1997
Springer
14 years 27 days ago
1997
Springer
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...