Login / Signup
Representability and Program Construction within Fork Algebras (Part II).
Marcelo F. Frias
Gabriel Baum
Armando Martin Haeberer
Published in:
RelMiCS (1997)
Keyphrases
</>
expert systems
test cases
temporal reasoning
hidden markov models
computer programs
static analysis
state space search
real time
neural network
knowledge base
decision trees
bayesian networks
program execution
topological spaces