521 search results - page 45 / 105 » Reduction Strategies and Acyclicity |
155
click to vote
CISS
2008
IEEE
16 years 18 days 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...
135
click to vote
ICASSP
2009
IEEE
16 years 26 days 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...
175
click to vote
ICIP
2006
IEEE
16 years 5 days 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 ...
121
click to vote
FCCM
2003
IEEE
15 years 11 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...
172
click to vote
CADE
2000
Springer
15 years 10 months 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 ...