Checking Algorithms for Pure Type Systems.
L. S. van Benthem JuttingJames McKinnaRobert PollackPublished in: TYPES (1993)
Keyphrases
- computer vision algorithms
- computational complexity
- times faster
- management system
- data structure
- recently developed
- orders of magnitude
- computationally efficient
- knowledge based systems
- worst case
- optimization problems
- information retrieval systems
- theoretical analysis
- significant improvement
- computationally expensive
- lower bound
- video sequences
- convergence rate
- mathematical models
- artificial intelligence
- distributed computation