6274 search results - page 943 / 1255 » From query complexity to computational complexity |
205
click to vote
SPIN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
191
click to vote
APCCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
— In noisy and reverberant environments, the problem of acoustic source localisation and tracking (ASLT) using an array of microphones presents a number of challenging difficult...
185
click to vote
DSN
2006
IEEE
16 years 1 months ago
2006
IEEE
Recent research has shown that even modern hard disks have complex failure modes that do not conform to “failstop” operation. Disks exhibit partial failures like block access ...
218
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
— We investigate a technique that uses an embedded network deployed pervasively throughout an environment to aid robots in navigation. First, we show that the path computed by th...
219
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper presents work-in-progress towards a C++ source-to-source translator that automatically seeks parallelisable code fragments and replaces them with code for a graphics...