Login / Signup
A Verified Approach for Checking Real-Time Specification Patterns
Nouha Abid
Silvano Dal-Zilio
Didier Le Botlan
Published in:
CoRR (2013)
Keyphrases
</>
real time
low cost
vision system
complex patterns
data mining
case study
face recognition
bayesian networks
high speed
frequent patterns
pattern mining
temporal patterns
event driven