98 search results - page 1 / 20 » Approximate counting in bounded arithmetic |
JSYML
2007
13 years 6 months ago
2007
ICALP
1999
Springer
13 years 10 months ago
1999
Springer
LATIN
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
JLP
2006
13 years 6 months ago
2006
Approximations based on dyadic centred intervals are investigated as a means for implementing exact real arithmetic. It is shown that the field operations can be implemented on th...
EMNLP
2011
12 years 6 months ago
2011
We exploit sketch techniques, especially the Count-Min sketch, a memory, and time efficient framework which approximates the frequency of a word pair in the corpus without explic...