Proof Engineering Considered Essential.

Published in: FM (2014)

Keyphrases

artificial intelligence
engineering design
neural network
machine learning
information systems
three dimensional
real time
feature selection
knowledge base
data structure
computer science
hidden markov models
software engineering