Sciweavers

5234 search results - page 556 / 1047
» Method Components - Rationale Revealed
Sort
View
TACAS
2010
Springer
225views Algorithms» more  TACAS 2010»
16 years 2 months ago
Automated Termination Analysis for Programs with Second-Order Recursion
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
Markus Aderhold
CSIE
2009
IEEE
16 years 1 months ago
Smoke Detection in Video
In this paper, we propose a method for smoke detection in outdoor video sequences. We assume that the camera is mounted on a pan/tilt device. The proposed method is composed of th...
DongKeun Kim, Yuan-Fang Wang
ICASSP
2009
IEEE
16 years 1 months ago
Generalization of specialized on-the-fly composition
In the Weighted Finite State Transducer (WFST) framework for speech recognition, we can reduce memory usage and increase flexibility by using on-the-fly composition which genera...
Tasuku Oonishi, Paul R. Dixon, Koji Iwano, Sadaoki...
ICASSP
2009
IEEE
16 years 1 months ago
Rate distribution between model and signal for multiple descriptions
We consider the rate allocation problem for multiple-description quantization of the signal described by an adaptive model with a fixed structure. The source modeling in coding g...
Janusz Klejsa, W. Bastiaan Kleijn
ICDAR
2009
IEEE
16 years 1 months ago
Explicit Fuzzy Modeling of Shapes and Positioning for Handwritten Chinese Character Recognition
In this paper, we present a new method for on-line Chinese character recognition that relies on an explicit description of characters structure. Contrary to most of known structur...
Adrien Delaye, Éric Anquetil, Sébast...