10271 search results - page 484 / 2055 » Computer Science |
131
click to vote
HRI
2009
ACM
16 years 1 months ago
2009
ACM
Visualization Abstraction Algorithm for Geographic Map-based Human-Robot Interfaces Curtis M. Humphrey Julie A. Adams Department of Electrical Engineering and Computer Science Vand...
147
click to vote
CCA
2009
Springer
16 years 27 days ago
2009
Springer
We consider the uniform BSS model of computation where the machines can perform additions, multiplications, and tests of the form x ≥ 0. The oracle machines can also check whethe...
158
click to vote
FOCS
2007
IEEE
16 years 19 days ago
2007
IEEE
We construct an explicit polynomial f(x1, . . . , xn), with coefficients in {0, 1}, such that the size of any syntactically multilinear arithmetic circuit computing f is at least ...
146
click to vote
FOCS
2007
IEEE
16 years 19 days ago
2007
IEEE
We present a new approach to constructing pseudorandom generators that fool lowdegree polynomials over finite fields, based on the Gowers norm. Using this approach, we obtain th...
156
click to vote
SPIN
2007
Springer
16 years 12 days ago
2007
Springer
We propose an algorithm to compute a counterexample of minimal size to some property in a finite state program, using the same space constraints than SPIN. This algorithm uses nes...