Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata.
Jüri VainLeonidas TsiopoulosJishu GuinPublished in: ICECCS (2016)
Keyphrases
- face recognition
- multi view
- timed automata
- model checking
- single view
- multiple views
- theorem prover
- d objects
- depth map
- camera calibration
- three dimensional
- theorem proving
- multi view clustering
- multiple cameras
- first order logic
- multi view face detection
- computer vision
- surface reconstruction
- event detection
- range images
- semi supervised
- multi view stereo
- real time systems
- scene reconstruction
- visual hull
- multi view reconstruction
- view synthesis
- pairwise
- object recognition
- machine learning