Sciweavers

89 search results - page 13 / 18
» Abduction and the Dualization Problem
Sort
View
87
Voted
COMPGEOM
2003
ACM
15 years 4 months ago
Anisotropic voronoi diagrams and guaranteed-quality anisotropic mesh generation
We introduce anisotropic Voronoi diagrams, a generalization of multiplicatively weighted Voronoi diagrams suitable for generating guaranteed-quality meshes of domains in which lon...
François Labelle, Jonathan Richard Shewchuk
FSTTCS
2010
Springer
14 years 9 months ago
Parityizing Rabin and Streett
The parity acceptance condition for -regular languages is a special case of the Rabin and Streett acceptance conditions. While the parity acceptance condition is as expressive as ...
Udi Boker, Orna Kupferman, Avital Steinitz
86
Voted
UAI
1989
15 years 25 days ago
Can Uncertainty Management be Realized in a Finite Totally Ordered Probability Algebra?
In this paper, the feasibility of using finite totally ordered probability models under Aleliunas’s Theory of Probabilistic Logic [Aleliunas, 1988] is investigated. The general...
Yang Xiang, Michael P. Beddoes, David Poole
102
Voted
COMMA
2008
15 years 1 months ago
Investigating Stories in a Formal Dialogue Game
In this paper we propose a formal dialogue game in which two players aim to determine the best explanation for a set of observations. By assuming an adversarial setting, we force t...
Floris Bex, Henry Prakken
AI
2004
Springer
14 years 11 months ago
Conditional logic of actions and causation
In this paper we present a new approach to reason about actions and causation which is based on a conditional logic. The conditional implication is interpreted as causal implicati...
Laura Giordano, Camilla Schwind