Sciweavers

2168 search results - page 225 / 434
» Randomized Algorithms and Complexity Theory
Sort
View
117
Voted
JCSS
2007
88views more  JCSS 2007»
15 years 3 months ago
Counting lattice vectors
We consider the problem of counting the number of lattice vectors of a given length and prove several results regarding its computational complexity. We show that the problem is ā™...
Denis Xavier Charles
SAGT
2010
Springer
202views Game Theory» more  SAGT 2010»
15 years 2 months ago
Computing Stable Outcomes in Hedonic Games
We study the computational complexity of finding stable outcomes in symmetric additively-separable hedonic games. These coalition formation games are specified by an undirected e...
Martin Gairing, Rahul Savani
FOCM
2011
96views more  FOCM 2011»
14 years 7 months ago
Persistent Intersection Homology
The theory of intersection homology was developed to study the singularities of a topologically stratified space. This paper incorporates this theory into the already developed f...
Paul Bendich, John Harer
AAAI
2006
15 years 5 months ago
Forgetting and Conflict Resolving in Disjunctive Logic Programming
We establish a declarative theory of forgetting for disjunctive logic programs. The suitability of this theory is justified by a number of desirable properties. In particular, one...
Thomas Eiter, Kewen Wang
CI
2006
94views more  CI 2006»
15 years 3 months ago
Against Optimality: Logical Foundations for Decision-Theoretic Planning in Autonomous Agents
This paper investigates decision-theoretic planning in sophisticated autonomous agents operating in environments of real-world complexity. An example might be a planetary rover ex...
John L. Pollock