13 search results - page 3 / 3 » Some Connections Between Bounded Query Classes and Non-Unifo... |
129
click to vote
ECOOP
1999
Springer
15 years 8 months ago
1999
Springer
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...
125
Voted
STACS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. A Boolean function on N variables is called evasive if its decision-tree complexity is N. A sequence Bn of Boolean functions is eventually evasive if Bn is evasive for al...
161
click to vote
ICDCN
2009
Springer
15 years 10 months ago
2009
Springer
Given a set of robots with arbitrary initial location and no agreement on a global coordinate system, convergence requires that all robots asymptotically approach the exact same, ...