Sciweavers

980 search results - page 94 / 196
» A Sequential Reduction Strategy
Sort
View
ICDE
2006
IEEE
127views Database» more  ICDE 2006»
15 years 4 months ago
Processing Recursive XQuery over XML Streams: The Raindrop Approach
— XML stream applications bring the challenge of efficiently processing queries on sequentially accessible tokenbased data. For efficient processing of queries, we need to ensu...
Mingzhu Wei, Ming Li, Elke A. Rundensteiner, Mural...
ICASSP
2009
IEEE
15 years 4 months ago
Language model parameter estimation using user transcriptions
In limited data domains, many effective language modeling techniques construct models with parameters to be estimated on an in-domain development set. However, in some domains, no...
Bo-June Paul Hsu, James R. Glass
ICIP
2006
IEEE
15 years 4 months ago
Extracting Static Hand Gestures in Dynamic Context
Cued Speech is a specific visual coding that complements oral language lip-reading, by adding static hand gestures (a static gesture can be presented on a single photograph as it ...
Thomas Burger, Alexandre Benoit, Alice Caplier
FCCM
2003
IEEE
92views VLSI» more  FCCM 2003»
15 years 3 months ago
Perturbation Analysis for Word-length Optimization
This paper introduces a design tool and its associated procedures for determining the sensitivity of outputs in a digital signal processing design to small errors introduced by ro...
George A. Constantinides
CADE
2000
Springer
15 years 2 months ago
System Description: ARA - An Automatic Theorem Prover for Relation Algebras
Abstract. aRa is an automatic theorem prover for various kinds of relation algebras. It is based on Gordeev’s Reduction Predicate Calculi for n-variable logic (RPCn) which allow ...
Carsten Sinz