3255 search results - page 568 / 651 » Combination of Abstractions in the ASTR |
EPIA
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Robots need to ground their external vocabulary and internal symbols in observations of the world. In recent works, this problem has been approached through combinations ...
HIPEAC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper describes Sunflower, a full-system microarchitectural evaluation environment for embedded computing systems. The environment enables detailed microarchitectura...
ICB
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper introduces a novel method for online writer identification. Traditional methods make use of the distribution of directions in handwritten traces. The novelty o...
ICB
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In state-of-the-art iris recognition systems, the input iris image has to be compared with a large number of templates in database. When the scale of iris database increa...
ICFEM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...