1919 search results - page 42 / 384 » Recent Extensions to Traviando |
ICCV
2011
IEEE
12 years 11 months ago
2011
IEEE
This paper focuses on the problem of word detection and recognition in natural images. The problem is significantly more challenging than reading text in scanned documents, and h...
DATE
2004
IEEE
14 years 2 months ago
2004
IEEE
Latency-insensitive systems were recently proposed by Carloni et al. as a correct-by-construction methodology for single-clock system-on-a-chip (SoC) design using predesigned IP b...
AAAI
1994
14 years 9 days ago
1994
In this paper we argue that for realistic applications involving default reasoning it is necessary to reason about the priorities of defaults. Existing approaches require the know...
IROS
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract— The MUSIC algorithm (MUltiple SIgnal Classification) is a well-known high-resolution method to sound source localization. However, as it is essentially narrowband, sev...
FCT
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...