Sign in

Preserving Liveness: Comments on "Safety and Liveness from a Methodological Point of View".

Martín AbadiBowen AlpernKrzysztof R. AptNissim FrancezShmuel KatzLeslie LamportFred 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