Sciweavers

1021 search results - page 100 / 205
» On the generalized Navier-Stokes equations
Sort
View
111
Voted
ICPR
2002
IEEE
15 years 5 months ago
Image Segmentation Using Curve Evolution and Region Stability
A novel scheme for image segmentation is presented. An image segmentation criterion is proposed that gathers similar pixels together to form regions and creates boundaries between...
Baris Sumengen, B. S. Manjunath, Charles S. Kenney
93
Voted
ADG
1998
Springer
127views Mathematics» more  ADG 1998»
15 years 5 months ago
Decomposing Algebraic Varieties
Abstract. This paper describes a complete implementation of Ritt-Wu's characteristic sets method in the Maple system. The implemented algorithms include those with variants fo...
Dongming Wang
105
Voted
CP
2006
Springer
15 years 4 months ago
Inner and Outer Approximations of Existentially Quantified Equality Constraints
We propose a branch and prune algorithm that is able to compute inner and outer approximations of the solution set of an existentially quantified constraint where existential param...
Alexandre Goldsztejn, Luc Jaulin
93
Voted
FPLE
1995
15 years 4 months ago
Explaining Algebraic Theory with Functional Programs
Abstract. A hierarchy of six important structures from abstract algebra (groups, rings, fields etc.) is introduced as Gofer class definitions and laws about them. Many instance d...
Jeroen Fokker
83
Voted
CSC
2006
15 years 2 months ago
Computing the Drift of Mutant Genes
- We develop a numerical scheme for computing the solution of a generalized version of Fisher's equation. The main idea is to use a modi ed Crank-Nicolson method in order to c...
Miguel Olmos-Gomez, Merced Arriaga-Gutierrez, Vali...