2137 search results - page 97 / 428 » Proving Abstract Non-interference |
86
Voted
MOC
2010
14 years 5 months ago
2010
Abstract. We prove pointwise a posteriori error estimates for semi- and fullydiscrete finite element methods for approximating the solution u to a parabolic model problem. Our esti...
78
Voted
SIAMNUM
2010
14 years 5 months ago
2010
Abstract. In this article a stochastic particle system approximation to the parametric sensitivity in the Smoluchowski coagulation equation is introduced. The parametric sensitivit...
108
click to vote
TCAD
2010
14 years 5 months ago
2010
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
110
Voted
TCSV
2010
14 years 5 months ago
2010
Abstract--The rate control problem has been extensively studied in parallel to the development of the different video coding standards. The bit allocation via Cauchy-density-based ...
94
Voted
TIP
2010
14 years 5 months ago
2010
Abstract--Can images be decomposed into the sum of a geometric part and a textural part? In a theoretical breakthrough, [Y. Meyer, Oscillating Patterns in Image Processing and Nonl...