Proving Self-Stabilization with a Proof Assistant.

Pierre Courtieu

Published in: IPDPS (2002)

Keyphrases

test bed
video stabilization
theorem proving
theorem prover
proof planning
computer vision
data sets
hidden markov models
special case
linear logic
logic programming
relational databases
information technology
face recognition
three dimensional
image processing
decision making
neural network