5510 search results - page 165 / 1102 » Mathematics |
143
Voted
ISIPTA
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we consider decision making under hierarchical imprecise uncertainty models and derive general algorithms to determine optimal actions. Numerical examples illustrate...
149
click to vote
DGCI
2003
Springer
15 years 9 months ago
2003
Springer
We use a mathematical morphology approach to compute the surface and curve skeletons of a 3D object. We focus on the behaviour of the surface skeleton, in particular the reversibil...
127
Voted
MPC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In this paper we explore the “for large enough” quantifier, also known as “all but finitely many”, which plays a central role in asymptotic reasoning, as used f...
125
Voted
ISSAC
2001
Springer
15 years 8 months ago
2001
Springer
Maple’s evaluator, together with a feature that is usually known as the assume facility, is a combination of modules with specialised reasoning capabilities. These modules are i...
114
click to vote
ISSAC
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we present an algorithm to compute all unirational fields of transcendence degree one containing a given finite set of multivariate rational functions. In particul...