Sciweavers

5331 search results - page 30 / 1067
» Algebraic Methods for Optimization Problems
Sort
View
COMPUTING
2007
103views more  COMPUTING 2007»
13 years 8 months ago
An algebraic approach for H-matrix preconditioners
Hierarchical matrices (H-matrices) approximate matrices in a data-sparse way, and the approximate arithmetic for H-matrices is almost optimal. In this paper we present an algebrai...
S. Oliveira, F. Yang
DAGM
2008
Springer
13 years 10 months ago
On Sparsity Maximization in Tomographic Particle Image Reconstruction
This work focuses on tomographic image reconstruction in experimental fluid mechanics (TomoPIV), a recently established 3D particle image velocimetry technique. Corresponding 2D im...
Stefania Petra, Andreas Schröder, Bernhard Wi...
ECBS
2003
IEEE
145views Hardware» more  ECBS 2003»
14 years 2 months ago
Model Checking and Evidence Exploration
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
CODES
2008
IEEE
14 years 3 months ago
SPaC: a symbolic pareto calculator
The compositional computation of Pareto points in multi-dimensional optimization problems is an important means to efficiently explore the optimization space. This paper presents ...
Hamid Shojaei, Twan Basten, Marc Geilen, Phillip S...
SIAMJO
2010
92views more  SIAMJO 2010»
13 years 3 months ago
Inexact Proximal Point Methods for Variational Inequality Problems
We present a new family of proximal point methods for solving monotone variational inequalities. Our algorithm has a relative error tolerance criterion in solving the proximal subp...
Regina Sandra Burachik, Joydeep Dutta