Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory.
Milad NiquiPublished in: Theory Comput. Syst. (2007)
Keyphrases
- search engine
- theoretical framework
- theoretical basis
- information theory
- bayesian estimation
- multiple types
- exact solution
- software engineering
- graph cuts
- software development
- markov random field
- real time
- control system
- artificial neural networks
- search algorithm
- database systems
- machine learning
- data mining
- data sets