Login / Signup
Preserving Liveness: Comments on "Safety and Liveness from a Methodological Point of View".
Martín Abadi
Bowen Alpern
Krzysztof R. Apt
Nissim Francez
Shmuel Katz
Leslie Lamport
Fred B. Schneider
Published in:
Inf. Process. Lett. (1991)
Keyphrases
</>
data sets
computer vision
real time
data mining
learning algorithm
video sequences
digital libraries
information technology
color images