Sign in
Static Determination of Dynamic Properties of Recursive Procedures.
Patrick Cousot
Radhia Cousot
Published in:
Formal Description of Programming Concepts (1977)
Keyphrases
</>
dynamic analysis
desirable properties
multimedia
similarity measure
structural properties
data mining
artificial intelligence
feature selection
high level
bayesian networks
learning environment
support vector
artificial neural networks
dynamic environments
key properties