Login / Signup
The OpenTheory Standard Theory Library.
Joe Hurd
Published in:
NASA Formal Methods (2011)
Keyphrases
</>
formal theory
database
real time
clustering algorithm
bayesian networks
natural language
preprocessing
expert systems
mobile robot
theoretical framework
information theory
theoretical basis