5372 search results - page 293 / 1075 » complexity 2007 |
AAAI
2007
14 years 1 hour ago
2007
This paper presents a new approach for merging prioritized knowledge bases in possibilistic logic. Our approach is semantically defined by a model-based merging operator in propo...
ATAL
2007
Springer
14 years 3 months ago
2007
Springer
We develop a model of normative systems in which agents are assumed to have multiple goals of increasing priority, and investigate the computational complexity and game theoretic ...
ECCC
2007
13 years 9 months ago
2007
A central line of research in the area of PCPs is devoted to constructing short PCPs. In this paper, we show that if we allow an additional interactive verification phase, with v...
APVIS
2007
13 years 11 months ago
2007
Open source software projects such as Apache and Mozilla present an opportunity for information visualization. Since these projects typically require collaboration between develop...
CCCG
2007
13 years 11 months ago
2007
Here we propose an efficient algorithm for computing the smallest enclosing circle whose center is constrained to lie on a query line segment. Our algorithm preprocesses a given s...