Challenges of computational verification in social multimedia.
Christina BoididouSymeon PapadopoulosYiannis KompatsiarisSteve SchifferesNic NewmanPublished in: WWW (Companion Volume) (2014)
Keyphrases
- multimedia
- social networks
- agent based social simulation
- lessons learned
- social interaction
- social media
- multimedia databases
- multimedia data
- key issues
- computational tools
- social networking
- multimedia content
- digital video
- technical challenges
- real world
- mobile devices
- open issues
- formal verification
- signature verification
- multimedia information retrieval
- formal methods
- face verification
- computational power
- virtual communities
- cultural heritage
- learning environment
- model checking