Result Details
Evolvable Computational Machines: Formal Approach
SEKANINA, L. Evolvable Computational Machines: Formal Approach. Intelligent Technologies - Theory and Applications, E-ISCI 2002. Frontiers in Artificial Intelligence and Applications. Amsterdam: IOS Press, 2002. p. 166-172. ISBN: 1-58603-256-9.
Type
conference paper
Language
English
Authors
Abstract
The paper introduces an original formal definition of the evolvable computational machine. Mathematical properties as well as impact to application design are investigated. The proposed approach is demonstrated on an evolvable non-uniform cellular automaton for generation of sequences.
Keywords
evolutionary algorithm, computational machine, formal appraoch
URL
Published
2002
Pages
166–172
Proceedings
Intelligent Technologies - Theory and Applications, E-ISCI 2002
Series
Frontiers in Artificial Intelligence and Applications
Conference
2nd Euro-International Symposium on Computational Intelligence
ISBN
1-58603-256-9
Publisher
IOS Press
Place
Amsterdam
BibTeX
@inproceedings{BUT10037,
author="Lukáš {Sekanina}",
title="Evolvable Computational Machines: Formal Approach",
booktitle="Intelligent Technologies - Theory and Applications, E-ISCI 2002",
year="2002",
series="Frontiers in Artificial Intelligence and Applications",
pages="166--172",
publisher="IOS Press",
address="Amsterdam",
isbn="1-58603-256-9",
url="http://www.fit.vutbr.cz/~sekanina/publ/e-isci02/e-isci02.pdf"
}
Projects
Formal Approaches in Digital Design Diagnostics - Testable Design Verification, GACR, Standardní projekty, GA102/01/1531, start: 2001-01-01, end: 2003-12-31, completed
Research groups
Evolvable Hardware Research Group (RG EHW)
Departments