BookDOI
Numerische Mathematik 1
Reads0
Chats0
About:
The article was published on 1989-01-01. It has received 2186 citations till now.read more
Citations
More filters
Journal ArticleDOI
Semiautonomous Medical Image Segmentation Using Seeded Cellular Automaton Plus Edge Detector
TL;DR: This work presents a novel segmentation algorithm combining the region-growing Seeded Cellular Automata with a boundary term based on an edge-detected image that is suitable for quick segmentations and interactive supervision.
Book ChapterDOI
Adaptive MOEA/D for QoS-based web service composition
TL;DR: This work considers the hybridization between an adaptive heuristics and the multiobjective algorithm for solving the dynamic nature of the problem of composing web services and finds that the proposed approach outperforms state of the art algorithms.
Journal ArticleDOI
Product and Commutativity of th-Order Slant Toeplitz Operators
Chaomei Liu,Yufeng Lu +1 more
TL;DR: In this paper, the commutativity of th-order slant Toeplitz operators with harmonic polynomial symbols, analytic symbols, and coanalytic symbols is discussed.
Proceedings ArticleDOI
Provably faithful evaluation of polynomials
Sylvie Boldo,César A. Muñoz +1 more
TL;DR: A formalization of floating-point numbers and rounding modes in the Program Verification System (PVS) based on a well-known formalization in the proof assistant Coq to provide sufficient conditions that formally guarantee that the floating- point computation of a polynomial evaluation is faithful.
Journal ArticleDOI
A facility location model with safety stock costs: analysis of the cost of single-sourcing requirements
TL;DR: This work considers a supply chain setting where multiple uncapacitated facilities serve a set of customers with a single product, and proposes a general model that uses a cardinality constraint on the number of supply facilities that may serve a customer.