Visual verification of space weather ensemble simulations.
Alexander BockAsher PembrokeM. Leila MaysLutz RastaetterTimo RopinskiAnders YnnermanPublished in: SciVis (2015)
Keyphrases
- neural network
- visual perception
- long term
- search space
- higher dimensional
- visual features
- model checking
- visual information
- low level
- multi class
- space time
- semantic space
- formal verification
- space requirements
- simulation environment
- visual cues
- input space
- low dimensional
- training data
- computer vision
- learning algorithm
- genetic algorithm
- machine learning