Login / Signup
A model for concurrent states and its coverage criteria.
Hideharu Kojima
Yoshiaki Kakuda
Juichi Takahashi
Tomoyuki Ohta
Published in:
ISADS (2009)
Keyphrases
</>
computational model
artificial neural networks
mathematical model
multiscale
objective function
prior knowledge
probabilistic model
theoretical analysis
statistical model
bayesian framework
information retrieval
database systems
hierarchical structure
neural network model
formal model