316 search results - page 20 / 64 » On the Space Complexity of Randomized Synchronization |
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and efï¬...
APLAS
2008
ACM
15 years 3 hour ago
2008
ACM
Abstract. We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between th...
TNN
2011
14 years 5 months ago
2011
—Reservoir computing (RC) refers to a new class of state-space models with a ï¬xed state transition structure (the “reservoirâ€) and an adaptable readout form the state space...
TSMC
2002
14 years 9 months ago
2002
We present a method for sampling feature vectors in large (e.g., 2000 5000 16 bit) images that finds subsets of pixel locations which represent "regions" in the image. Sa...
FOCS
2006
IEEE
15 years 4 months ago
2006
IEEE
The quantum query complexity of searching for local optima has been a subject of much interest in the recent literature. For the d-dimensional grid graphs, the complexity has been...