Sciweavers

916 search results - page 67 / 184
» Using redundancies to find errors
Sort
View
PIMRC
2010
IEEE
14 years 7 months ago
Frame Synchronization based on robust header recovery and Bayesian testing
Video transmission on wireless links usually requires some frame aggregation, so that the overhead due to the headers is not a too large percentage of the bit-stream. In such a sit...
Usman Ali, Michel Kieffer, Pierre Duhamel
IASTEDSEA
2004
14 years 11 months ago
Erroneous architecture is a relative concept
The problem this paper addresses is that an architecture formed of software components can contain composition errors (introduced, for instance, as a result of the choice of afram...
Jirí Adámek, Frantisek Plasil
JAR
2000
97views more  JAR 2000»
14 years 9 months ago
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang
TCSV
2002
94views more  TCSV 2002»
14 years 9 months ago
Drift compensation for reduced spatial resolution transcoding
This paper discusses the problem of reduced-resolution transcoding of compressed video bitstreams. An analysis of drift errors is provided to identify the sources of quality degra...
Peng Yin, Anthony Vetro, Bede Liu, Huifang Sun
TCAD
2010
136views more  TCAD 2010»
14 years 4 months ago
Bounded Model Debugging
Design debugging is a major bottleneck in modern VLSI design flows as both the design size and the length of the error trace contribute to its inherent complexity. With typical des...
Brian Keng, Sean Safarpour, Andreas G. Veneris