Sciweavers

5510 search results - page 221 / 1102
» Mathematics
Sort
View
ISMM
2009
Springer
16 years 6 days ago
Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images
Abstract. We present a programming framework for discrete mathematical morphology centered on the concept of genericity. We show that formal definitions of morphological algorithm...
Roland Levillain, Thierry Géraud, Laurent N...
CASC
2010
Springer
151views Mathematics» more  CASC 2010»
15 years 4 months ago
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
Winfried Neun, Thomas Sturm, Stefan Vigerske
IPL
2010
160views more  IPL 2010»
15 years 4 months ago
Antimagic labeling and canonical decomposition of graphs
An antimagic labeling of a connected graph with m edges is an injective assignment of labels from {1, . . . , m} to the edges such that the sums of incident labels are distinct at...
Michael D. Barrus
JGO
2010
531views more  JGO 2010»
15 years 4 months ago
Characterizing zero-derivative points
We study smooth functions in several variables with a Lipschitz derivative. It is shown that these functions have the “envelope property”: Around zero-derivative points, and on...
Sanjo Zlobec
JSYML
2010
68views more  JSYML 2010»
15 years 4 months ago
An equiconsistency for universal indestructibility
We obtain an equiconsistency for a weak form of universal indestructibility for strongness. The equiconsistency is relative to a cardinal weaker in consistency strength than a Woo...
Arthur W. Apter, Grigor Sargsyan