Formal Cellular Machinery.

Troels Christoffer Damgaard Espen Højsgaard Jean Krivine

Published in: Electron. Notes Theor. Comput. Sci. (2012)

Keyphrases

cellular automata
formal model
databases
mathematical theory
formal specification
search engine
website
real time
data sets
image processing
multimedia
three dimensional
bayesian networks
wireless sensor networks
probabilistic model
formal language