Sciweavers

89 search results - page 13 / 18
» Abduction and the Dualization Problem
Sort
View
74
Voted
COMPGEOM
2003
ACM
15 years 2 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 7 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
72
Voted
UAI
1989
14 years 10 months 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
94
Voted
COMMA
2008
14 years 11 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 9 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