New Constructions of Mechanisms with Verification.

Vincenzo Auletta Roberto De Prisco Paolo Penna Giuseppe Persiano Carmine Ventre

Published in: ICALP (1) (2006)

Keyphrases

model checking
formal verification
face verification
neural network
image processing
multiresolution
formal methods
data sets
three dimensional
data structure
digital libraries
building blocks