Depth-driven verification of simultaneous interfaces.
Ilya WagnerValeria BertaccoTodd M. AustinPublished in: ASP-DAC (2006)
Keyphrases
- user interface
- formal verification
- formal analysis
- depth information
- model checking
- data driven
- depth map
- asynchronous circuits
- interface design
- high quality
- information systems
- hidden markov models
- face verification
- depth estimation
- machine learning
- depth data
- signature verification
- real world
- spoken dialogue systems
- real time