Expressing Computational Complexity in Constructive Type Theory.
Robert L. ConstablePublished in: LCC (1994)
Keyphrases
- computational complexity
- np complete
- data sets
- high computational complexity
- theoretical framework
- search engine
- expert systems
- relational databases
- special case
- information systems
- computational efficiency
- theoretical basis
- web pages
- artificial neural networks
- motion estimation
- computational model
- decision problems
- memory requirements
- real time