2468 search results - page 255 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
160
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Randomized motion planning techniques are responsible for many of the recent successes in robot control. However, most motion planning algorithms assume perfect and com...
139
click to vote
IR
2006
15 years 4 months ago
2006
The ability to find tables and extract information from them is a necessary component of many information retrieval tasks. Documents often contain tables in order to communicate d...
138
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
We live in an era of data explosion that necessitates the discovery of novel out-of-core techniques. The I/O bottleneck has to be dealt with in developing out-of-core methods. The...
141
click to vote
PADS
2005
ACM
15 years 10 months ago
2005
ACM
Neural systems are composed of a large number of highly-connected neurons and are widely simulated within the neurological community. In this paper, we examine the application of ...
133
click to vote
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...