Sciweavers

8486 search results - page 243 / 1698
» Ordered Enumeration Method
Sort
View
SAS
2010
Springer
140views Formal Methods» more  SAS 2010»
15 years 2 months ago
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
Christophe Alias, Alain Darte, Paul Feautrier, Lau...

Publication
3460views
17 years 5 months ago
Multistencils Fast Marching Methods: A Highly Accurate Solution to the Eikonal Equation on Cartesian Domains
A wide range of computer vision applications require an accurate solution of a particular Hamilton-Jacobi (HJ) equation known as the Eikonal equation. In this paper, we propose an ...
M. Sabry Hassouna, Aly A. Farag
ICIP
2003
IEEE
16 years 5 months ago
Pixel classification through divergence-based integration of texture methods with conflict resolution
This paper presents a new technique for combining multiple texture feature extraction methods in order to classify the pixels of an input image into a set of texture models of int...
Domènec Puig, Miguel Angel García
ICCAD
2002
IEEE
108views Hardware» more  ICCAD 2002»
16 years 29 days ago
A precorrected-FFT method for simulating on-chip inductance
The simulation of on-chip inductance using PEEC-based circuit analysis methods often requires the solution of a subproblem where an extracted inductance matrix must be multiplied ...
Haitian Hu, David Blaauw, Vladimir Zolotov, Kaushi...
ISBI
2009
IEEE
15 years 11 months ago
A New Interactive Method for Coronary Arteries Segmentation Based on Tubular Anisotropy
In this paper we present a new interactive method for tubular structure extraction. The main application and motivation for this work is vessel tracking in 3D medical images. The ...
Fethallah Benmansour, Laurent D. Cohen