23413 search results - page 4554 / 4683 » or 2005 |
150
click to vote
COCO
2010
Springer
15 years 11 months ago
2010
Springer
—We prove new lower bounds in the area of property testing of boolean functions. Specifically, we study the problem of testing whether a boolean function f is isomorphic to a ...
192
Voted
CSL
2009
Springer
15 years 11 months ago
2009
Springer
We introduce tree-width for first order formulae , fotw(). We show that computing fotw is fixed-parameter tractable with parameter fotw. Moreover, we show that on classes of formul...
151
click to vote
ANTS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Tabulating elliptic curves has been carried out since the earliest days of machine computation in number theory. After some historical remarks, we report on significant r...
187
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper focuses on the Noisy Iterated Prisoner's Dilemma, a version of the Iterated Prisoner's Dilemma (IPD) in which there is a nonzero probability that a "coop...
185
Voted
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
We report on the CLEF 2006 WebCLEF track devoted to crosslingual web retrieval. We provide details about the retrieval tasks, the used topic set, and the results of WebCLEF partic...