MuVer'17: First International Workshop on Multimedia Verification.
Vasileios MezarisLyndon J. B. NixonSymeon PapadopoulosJochen SpangenbergPublished in: ACM Multimedia (2017)
Keyphrases
- multimedia
- multimedia content
- model checking
- multimedia data
- formal verification
- digital libraries
- multimedia systems
- international workshop
- artificial intelligence
- revised selected papers
- learning environment
- digital multimedia
- e learning
- multimedia databases
- multimedia objects
- digital video
- digital media
- lecture notes
- lecture notes in artificial intelligence
- video data
- formal methods
- verification method
- multimedia information
- asynchronous circuits
- audio visual
- high security
- hypermedia systems
- efficient retrieval
- face verification
- database
- cultural heritage
- temporal logic
- computational intelligence
- image sequences
- knowledge base
- databases