639 search results - page 56 / 128 » Efficiency Based Feedback Reduction |
CCS
2008
ACM
14 years 12 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
ICMCS
2006
IEEE
15 years 4 months ago
2006
IEEE
Various error control schemes have been addressed in wireless video stream transmission. By combining an adaptive binary arithmetic coding technique with context modeling, CABAC a...
CIIA
2009
14 years 11 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
CVPR
2007
IEEE
15 years 12 months ago
2007
IEEE
The success of tensor-based subspace learning depends heavily on reducing correlations along the column vectors of the mode-k flattened matrix. In this work, we study the problem ...
MICCAI
2009
Springer
15 years 11 months ago
2009
Springer
We present a novel fuzzy region-based hidden Markov model (frbHMM) for unsupervised partial-volume classification in brain magnetic resonance images (MRIs). The primary contributio...