On bounded arithmetic augmented by the ability to count certain sets of primes.

Charalampos Cornaros Alan R. Woods

Published in: J. Symb. Log. (2009)

Keyphrases

medical images
database
high level
data mining
artificial intelligence
information systems
case study
bayesian networks
query processing
np complete
key features
floating point
asymptotically optimal
set theoretic