Login / Signup
Symbolic Simulation-Checking of Dense-Time Systems
Farn Wang
Published in:
CoRR (2006)
Keyphrases
</>
neural network
mathematical model
real world
learning systems
intelligent systems
distributed systems
high level
software engineering
motion estimation
artificial neural networks
np complete
complex systems
clustering algorithm
simulation study
simulation model
simulation models
connectionist systems