1695 search results - page 283 / 339 » Linear, Polynomial or Exponential |
106
Voted
JAIR
2008
15 years 24 days ago
2008
Inspired by AND/OR search spaces for graphical models recently introduced, we propose to augment Multi-Valued Decision Diagrams (MDD) with AND nodes, in order to capture function ...
146
Voted
JAIR
2008
15 years 24 days ago
2008
We present exact algorithms for identifying deterministic-actions' effects and preconditions in dynamic partially observable domains. They apply when one does not know the ac...
135
click to vote
JAR
2006
15 years 23 days ago
2006
Answer Set Programming (ASP) emerged in the late 1990s as a new logic programming paradigm which has been successfully applied in various application domains. Also motivated by the...
116
Voted
SIGECOM
2008
ACM
15 years 22 days ago
2008
ACM
We provide tight information-theoretic lower bounds for the welfare maximization problem in combinatorial auctions. In this problem, the goal is to partition m items among k bidde...
121
Voted
IPL
2007
15 years 21 days ago
2007
A new algorithm is presented for testing if a regular language is locally threshold testable. The new algorithm is slower than existing algorithms, but its correctness proof is sh...