Keyphrases
- quantum computation
- quantum mechanics
- depth map
- data sets
- model checking
- information retrieval
- database
- asynchronous circuits
- formal verification
- formal methods
- depth information
- multi view
- machine learning
- data mining
- probabilistic model
- artificial neural networks
- depth data
- information systems
- neural network
- artificial intelligence
- quantum computing
- functional verification
- probability ranking principle