• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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