Login / Signup
Verifying Timed and Linear Hybrid Rule-Systems with RED.
Farn Wang
Rong-Shiung Wu
Geng-Dian Huang
Published in:
SEKE (2005)
Keyphrases
</>
linear systems
neural network
machine learning
artificial intelligence
low cost
real time
image processing
multiscale
rough sets
computer systems
knowledge based systems
learning systems