Sciweavers

2871 search results - page 9 / 575
» An Auxiliary Variational Method
Sort
View
JMIV
2007
484views more  JMIV 2007»
13 years 9 months ago
On Semismooth Newton's Methods for Total Variation Minimization
In [2], Chambolle proposed an algorithm for minimizing the total variation of an image. In this short note, based on the theory on semismooth operators, we study semismooth Newton...
Michael K. Ng, Liqun Qi, Yu-Fei Yang, Yu-Mei Huang
DAC
2011
ACM
12 years 9 months ago
Characterizing within-die and die-to-die delay variations introduced by process variations and SOI history effect
Variations in delay caused by within-die and die-to-die process variations and SOI history effect increase timing margins and reduce performance. In order to develop mitigation te...
Jim Aarestad, Charles Lamech, Jim Plusquellic, Dhr...
FAC
2008
108views more  FAC 2008»
13 years 9 months ago
Property-directed incremental invariant generation
Abstract. A fundamental method of analyzing a system such as a program or a circuit is invariance analysis, in which one proves that an assertion holds on all reachable states. Typ...
Aaron R. Bradley, Zohar Manna
ICASSP
2009
IEEE
14 years 4 months ago
Structured variational methods for distributed inference in wireless ad hoc and sensor networks
Abstract –In this paper, a variational message passing framework is proposed for Markov random fields, which is computationally more efficient and admits wider applicability comp...
Yanbing Zhang, Huaiyu Dai
MOC
2000
103views more  MOC 2000»
13 years 9 months ago
An additive Schwarz method for variational inequalities
This paper proposes an additive Schwarz method for variational inequalities and their approximations by finite element methods. The Schwarz domain decomposition method is proved to...
Lori Badea, Junping Wang