Login / Signup
Formal verification and analysis of multimedia systems.
Sérgio Vale Aguiar Campos
Berthier A. Ribeiro-Neto
Autran Macedo
Luciano Bertini
Published in:
ACM Multimedia (1) (1999)
Keyphrases
</>
formal verification
multimedia systems
data analysis
nearest neighbor
image database
recent advances