Sign in
Varieties of Static Analyzers: A Comparison with ASTREE.
Patrick Cousot
Radhia Cousot
Jérôme Feret
Antoine Miné
Laurent Mauborgne
David Monniaux
Xavier Rival
Published in:
TASE (2007)
Keyphrases
</>
real time
bayesian networks
statistical analysis
data sets
database
learning algorithm
computer vision
information systems
image processing
pattern recognition
object recognition
user interface
management system
information extraction
digital images