Login / Signup
Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification.
Karsten Strehl
Published in:
RTCSA (1999)
Keyphrases
</>
real time
low cost
vision system
data sets
website
computational complexity
computational efficiency
model checking
hand drawn
real time systems
face verification
moving target
data acquisition
association rules
face recognition
high level
knowledge base
computer vision
databases