Sciweavers

6719 search results - page 313 / 1344
» A Generalization of Automatic Sequences
Sort
View
AND
2010
15 years 1 months ago
Reshaping automatic speech transcripts for robust high-level spoken document analysis
High-level spoken document analysis is required in many applications seeking access to the semantic content of audio data, such as information retrieval, machine translation or au...
Julien Fayolle, Fabienne Moreau, Christian Raymond...
STOC
2005
ACM
163views Algorithms» more  STOC 2005»
16 years 4 months ago
Undirected ST-connectivity in log-space
We present a deterministic, log-space algorithm that solves st-connectivity in undirected graphs. The previous bound on the space complexity of undirected st-connectivity was log4...
Omer Reingold
ICIAR
2007
Springer
15 years 10 months ago
Color-Based Road Sign Detection and Tracking
This paper describes a general framework for the detection and tracking of traffic and road signs from image sequences using only color information. The approach consists of two in...
Luis David Lopez, Olac Fuentes
123
Voted
XIMEP
2006
ACM
179views Database» more  XIMEP 2006»
15 years 9 months ago
Positional Grouping in XQuery
This paper proposes an extension to the XQuery language to solve the problem of positional grouping: that is, problems in which it is necessary to convert a flat sequence into a h...
Michael H. Kay
ICSE
2010
IEEE-ACM
15 years 8 months ago
Using dynamic execution traces and program invariants to enhance behavioral model inference
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
Ivo Krka, Yuriy Brun, Daniel Popescu, Joshua Garci...