Verifying Observational Determinism.

Jaber Karimpour Ayaz Isazadeh Ali A. Noroozi

Published in: SEC (2015)

Keyphrases

model checking
real world
case study
machine learning
decision making
image sequences
multiscale
search space
knowledge discovery
co occurrence
maximum likelihood
information retrieval
information systems
face recognition
object recognition