8294 search results - page 1387 / 1659 » Presenting Data from Experiments in Algorithmics |
126
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
134
click to vote
ISER
2004
Springer
15 years 9 months ago
2004
Springer
We present a series of experiments concerned with the inspection of regular, engineered structures carried out using swarms of five to twenty autonomous, miniature robots, solely ...
105
click to vote
IV
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a perceptually designed hardwareaccelerated algorithm for generating unique background textures for distinguishing documents. To be recognizable, the texture should pro...
138
click to vote
NCA
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper addresses the problem of how to service web requests quickly in order to minimize the client response time. Some of the recent work uses the idea of the Shortest Remain...
141
click to vote
CONTEXT
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In order to be useful, intelligent information retrieval agents must provide their users with context-relevant information. This paper presents WordSieve, an algorithm fo...