Login / Signup
Logical and Operational Methods in the Analysis of Programs and Systems.
Flemming Nielson
Patrick Cousot
Mads Dam
Pierpaolo Degano
Pierre Jouvelot
Alan Mycroft
Bent Thomsen
Published in:
LOMAPS (1996)
Keyphrases
</>
video sequences
preprocessing
expert systems
statistical analysis
computer vision algorithms
databases
learning algorithm
reinforcement learning
image analysis
significant improvement
computationally expensive
statistical methods
classification systems