13383 search results - page 2588 / 2677 » Abstractions from proofs |
DAGSTUHL
2007
13 years 11 months ago
2007
Abstract. In this paper, we consider the problem of filtering in relational hidden Markov models. We present a compact representation for such models and an associated logical par...
DATESO
2008
13 years 11 months ago
2008
Abstract In recent years, many approaches to indexing XML data have appeared. These approaches attempt to process XML queries efficiently and sufficient query plans are built for t...
ESANN
2007
13 years 11 months ago
2007
Uncertainty is a popular phenomenon in machine learning and a variety of methods to model uncertainty at different levels has been developed. The aim of this paper is to motivate ...
FAST
2007
13 years 11 months ago
2007
Abstract— Prefetching is a widely used technique in modern data storage systems. We study the most widely used class of prefetching algorithms known as sequential prefetching. Th...
ICINCO
2007
13 years 11 months ago
2007
Abstract— This paper presents a modular multirobot system developed for distributed sensing experiments. The multirobot system is composed of modular small size robots, which hav...