Sciweavers

1916 search results - page 123 / 384
» Reasoning with class algebra
Sort
View
89
Voted
MOC
2000
83views more  MOC 2000»
15 years 16 days ago
Stability and B-convergence properties of multistep Runge-Kutta methods
This paper continues earlier work by the same author concerning the stability and B-convergence properties of multistep Runge-Kutta methods for the numerical solution of nonlinear ...
Shoufu Li
SAGA
2009
Springer
15 years 7 months ago
Bounds for Multistage Stochastic Programs Using Supervised Learning Strategies
We propose a generic method for obtaining quickly good upper bounds on the minimal value of a multistage stochastic program. The method is based on the simulation of a feasible dec...
Boris Defourny, Damien Ernst, Louis Wehenkel
126
Voted
LICS
2010
IEEE
14 years 10 months ago
A Sound and Complete Calculus for Finite Stream Circuits
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...
Stefan Milius
96
Voted
ICIP
2008
IEEE
16 years 2 months ago
Partial difference equations on graphs for Mathematical Morphology operators over images and manifolds
The main tools of Mathematical Morphology are a broad class of nonlinear image operators. They can be defined in terms of algebraic set operators or as Partial Differential Equati...
Vinh-Thong Ta, Abderrahim Elmoataz, Olivier Lezora...
ICML
2003
IEEE
16 years 1 months ago
Probabilistic Classifiers and the Concepts They Recognize
We investigate algebraic, logical, and geometric properties of concepts recognized by various classes of probabilistic classifiers. For this we introduce a natural hierarchy of pr...
Manfred Jaeger