5th EuroVis Workshop on Reproducibility, Verification, and Validation in Visualization, EuroRV³@EuroVis 2017, Barcelona, Spain, June 12-13, 2017
Published in: EuroRV³@EuroVis (2017)
Keyphrases
- self organizing maps
- formal verification
- model checking
- data visualization
- face verification
- interactive visualization
- interactive visualizations
- visualization tool
- verification method
- graphical user interface
- visual representation
- database
- formal analysis
- multidimensional scaling
- formal methods
- data analysis
- person identification
- visualization methods
- computer science
- panel discussion
- neural network