Login / Signup

New Constructions of Mechanisms with Verification.

Vincenzo AulettaRoberto De PriscoPaolo PennaGiuseppe PersianoCarmine 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