Sciweavers

5510 search results - page 166 / 1102
» Mathematics
Sort
View
224
Voted
ACMMPC
2000
Springer
249views Mathematics» more  ACMMPC 2000»
15 years 8 months ago
Algebraic Methods for Optimization Problems
Abstract. We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an ext...
Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu
ADG
2000
Springer
110views Mathematics» more  ADG 2000»
15 years 8 months ago
Decision Complexity in Dynamic Geometry
Abstract. Geometric straight-line programs [5, 8] can be used to model geometric constructions and their implicit ambiguities. In this paper we discuss the complexity of deciding w...
Ulrich Kortenkamp, Jürgen Richter-Gebert
AFPAC
2000
Springer
267views Mathematics» more  AFPAC 2000»
15 years 8 months ago
The Lie Model for Euclidean Geometry
Abstract. In this paper we investigate the Lie model of Lie sphere geometry using Clifford algebra. We employ it to Euclidean geometric problems involving oriented contact to simpl...
Hongbo Li
ISIPTA
1999
IEEE
15 years 8 months ago
Axiomatic Characterization of Partial Ordinal Relations
In this paper we focus on the theoretical properties of non-numerical representation of the uncertainty. As usual, this representation is realized by an ``ordinal relation'&#...
Andrea Capotorti, Barbara Vantaggi
85
Voted
ISIPTA
1999
IEEE
15 years 8 months ago
Treatment Choice Under Ambiguity Induced by Inferential Problems
Inferential problems that arise in the empirical analysis oftreatmentresponseinduceambiguityabouttheidentity of optimal treatment rules. This paper describes a research program th...
Charles F. Manski