521 search results - page 45 / 105 » Reduction Strategies and Acyclicity |
CISS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—This paper introduces a network coding-based protection scheme against single and multiple link failures. The proposed strategy makes sure that in a connection, each nod...
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
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...
ICIP
2006
IEEE
14 years 2 months ago
2006
IEEE
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 ...
FCCM
2003
IEEE
14 years 1 months ago
2003
IEEE
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...
CADE
2000
Springer
14 years 10 days ago
2000
Springer
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 ...