Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Sekanina Lukáš, prof. Ing., Ph.D., FIT (FIT)
Abstrakt

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.

Klíčová slova

evolutionary algorithm, computational machine, formal appraoch

URL
Rok
2002
Strany
166–172
Sborník
Intelligent Technologies - Theory and Applications, E-ISCI 2002
Řada
Frontiers in Artificial Intelligence and Applications
Konference
2nd Euro-International Symposium on Computational Intelligence
ISBN
1-58603-256-9
Vydavatel
IOS Press
Místo
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"
}
Projekty
Formální postupy v diagnostice číslicových obvodů - verifikace testovatelného návrhu, GAČR, Standardní projekty, GA102/01/1531, zahájení: 2001-01-01, ukončení: 2003-12-31, ukončen
Výzkumné skupiny
EvoAI Hardware (VZ EHW)
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru