Sciweavers

6568 search results - page 154 / 1314
» Reducing the Complexity of Reductions
Sort
View
ET
2010
113views more  ET 2010»
15 years 3 months ago
Calibration and Test Time Reduction Techniques for Digitally-Calibrated Designs: an ADC Case Study
Modern mixed-signal/RF circuits with a digital calibration capability could achieve significant performance improvement through calibration. However, the calibration process often ...
Hsiu-Ming Chang, Kuan-Yu Lin, Kwang-Ting (Tim) Che...
JCS
2010
80views more  JCS 2010»
15 years 1 months ago
Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
Sebastian Mödersheim, Luca Viganò, Dav...
TACAS
2012
Springer
288views Algorithms» more  TACAS 2012»
14 years 2 months ago
Reduction-Based Formal Analysis of BGP Instances
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gu...
ICIP
2000
IEEE
16 years 8 months ago
Flicker Reduction in Old Films
This paper deals with the reduction of flicker in old films. This artifact appears as global, quick and random variations of the luminance and contrast between consecutive frames ...
Valery Naranjo, Antonio Albiol
ICIP
2000
IEEE
16 years 8 months ago
Reduction of Inherent Ambiguities in Structure from Motion Problem Using Inertial Data
In thispapel; the reduction of inherent ambiguities in StructurefromMotion(SW)using inertialdata isaddressed. First, we show that the translation-rotation ambiguity inS'from ...
Gang Qian, Qinfen Zheng, Rama Chellappa