On the Computational Complexity of Verifying One-Counter Processes.
Stefan GöllerRichard MayrAnthony Widjaja ToPublished in: LICS (2009)
Keyphrases
- low complexity
- computational complexity
- motion estimation
- computational cost
- computationally efficient
- special case
- decision problems
- np hard
- np complete
- computational load
- rate distortion
- three dimensional
- motion vectors
- process model
- search engine
- model checking
- machine learning
- data sets
- storage requirements
- real time