Login / Signup

Formal verification and analysis of multimedia systems.

Sérgio Vale Aguiar CamposBerthier A. Ribeiro-NetoAutran MacedoLuciano Bertini
Published in: ACM Multimedia (1) (1999)
Keyphrases
  • formal verification
  • multimedia systems
  • data analysis
  • nearest neighbor
  • image database
  • recent advances