Sciweavers

341 search results - page 53 / 69
» Redundancy elimination revisited
Sort
View
AIPS
2003
13 years 10 months ago
Symmetry Reduction for SAT Representations of Transition Systems
Symmetries are inherent in systems that consist of several interchangeable objects or components. When reasoning about such systems, big computational savings can be obtained if t...
Jussi Rintanen
VCIP
2001
159views Communications» more  VCIP 2001»
13 years 10 months ago
Embedded-to-lossless coding of motion-compensated prediction residuals in lossless video coding
Lossless video coding is useful in applications where no loss of information or visual quality is tolerable. In embedded to lossless coding an encoded video stream can be decoded ...
G. Charith K. Abhayaratne, Donald M. Monro
AAAI
1996
13 years 10 months ago
Constructive Neural Network Learning Algorithms
Constructive learning algorithms offer an attractive approach for the incremental construction of near-minimal neural-network architectures for pattern classification. They help ov...
Rajesh Parekh, Jihoon Yang, Vasant Honavar
ICASSP
2010
IEEE
13 years 9 months ago
Optimal delayed decoding of predictively encoded sources
Predictive coding eliminates redundancy due to correlations between the current and past signal samples, so that only the innovation, or prediction residual, needs to be encoded. ...
Vinay Melkote, Kenneth Rose
CORR
2008
Springer
143views Education» more  CORR 2008»
13 years 9 months ago
A Type System for Data-Flow Integrity on Windows Vista
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
Avik Chaudhuri, Prasad Naldurg, Sriram K. Rajamani