Sciweavers

660 search results - page 11 / 132
» Improving AOR method for consistent linear systems
Sort
View
69
Voted
BILDMED
2008
100views Algorithms» more  BILDMED 2008»
14 years 11 months ago
Detection of Point Scatterers by Regularized Inversion of a Linear Ultrasound System Model
Abstract. Scatterer detection in medical ultrasound imaging can be formulated as an inverse problem concerning a linear system model based on point scatterers. The applicability of...
Tobias Gehrke, Heinrich M. Overhoff
CORR
2011
Springer
172views Education» more  CORR 2011»
14 years 4 months ago
Improving Strategies via SMT Solving
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
Thomas Martin Gawlitza, David Monniaux
AI
2010
Springer
14 years 9 months ago
Soft arc consistency revisited
The Valued Constraint Satisfaction Problem (VCSP) is a generic optimization problem defined by a network of local cost functions defined over discrete variables. It has applicatio...
Martin C. Cooper, Simon de Givry, M. Sanchez, Thom...
ICMCS
2000
IEEE
116views Multimedia» more  ICMCS 2000»
15 years 1 months ago
Non-linear Relevance Feedback: Improving the Performance of Content-Based Retrieval Systems
In this paper, a non-linear relevance feedback mechanism is proposed for increasing the performance and the reliability of content-based retrieval systems. In particular, the huma...
Nikolaos D. Doulamis, Anastasios D. Doulamis, Stef...
CDC
2010
IEEE
163views Control Systems» more  CDC 2010»
14 years 4 months ago
Integrated dynamic optimization and control in reservoir engineering using locally identified linear models
Abstract-- Studies on dynamic real-time optimization (DRTO) of waterflooding strategies in petroleum reservoirs have demonstrated that there exists a large potential to improve eco...
Gijs van Essen, Amin Rezapour, Paul M. J. Van den ...