112 search results - page 7 / 23 » Computer science olympiad: exploring computer science throug... |
Presentation
Transit services are currently facing several challenges in the United States and around the
world. For many reasons, among which the fluctuations in gas prices and the state of t...
FOCS
1994
IEEE
14 years 1 months ago
1994
IEEE
We show that two cooperating robots can learn exactly any strongly-connected directed graph with n indistinguishable nodes in expected time polynomial in n. We introduce a new typ...
FCT
2009
Springer
14 years 3 months ago
2009
Springer
Suppose that we are given a set of n elements d of which are “defective”. A group test can check for any subset, called a pool, whether it contains a defective. It is well know...
MOBICOM
2006
ACM
14 years 3 months ago
2006
ACM
With the increasing sophistication of both manned and unmanned systems for remote ocean exploration, a wealth of knowledge about heretofore-unknown oceanic processes has become av...
SPIN
2010
Springer
13 years 7 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...