Login / Signup
Symbolic modular deadlock analysis.
Jyotirmoy V. Deshmukh
E. Allen Emerson
Sriram Sankaranarayanan
Published in:
Autom. Softw. Eng. (2011)
Keyphrases
</>
genetic algorithm
databases
computer vision
high level
data analysis
real time
information systems
e learning
feature extraction
image analysis
multiresolution
statistical analysis