A Formal Investigation of.

Sanjeev Khanna Keshav Kunal Benjamin C. Pierce

Published in: FSTTCS (2007)

Keyphrases

formal model
formal specification
neural network
artificial intelligence
decision making
multiscale
cooperative
preprocessing
artificial neural networks
trade off
probabilistic model
literature review
formal methods
formal models
formal language