Towards Strong Higher-Order Automation for Fast Interactive Verification.
Jasmin Christian BlanchettePascal FontaineStephan SchulzUwe WaldmannPublished in: ARCADE@CADE (2017)
Keyphrases
- higher order
- pairwise
- face verification
- model checking
- natural images
- high order
- information visualization
- learning algorithm
- lower order
- markov models
- virtual reality
- user interaction
- information systems
- computer graphics
- hidden markov models
- website
- image processing
- user friendly
- computer vision
- artificial intelligence
- interactive learning
- low order
- highly interactive
- databases