98 search results - page 1 / 20 » Approximate counting in bounded arithmetic |
JSYML
2007
14 years 9 months ago
2007
ICALP
1999
Springer
15 years 1 months ago
1999
Springer
LATIN
2004
Springer
15 years 2 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
14 years 9 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
13 years 9 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...