Sciweavers

1383 search results - page 138 / 277
» On the Complexity of the Interlace Polynomial
Sort
View
AAAI
2004
15 years 7 months ago
Forward-Chaining Planning in Nondeterministic Domains
In this paper, we present a general technique for taking forward-chaining planners for deterministic domains (e.g., HSP, TLPlan, TALplanner, and SHOP2) and adapting them to work i...
Ugur Kuter, Dana S. Nau
CORR
2007
Springer
105views Education» more  CORR 2007»
15 years 6 months ago
Vector Precoding for Wireless MIMO Systems: A Replica Analysis
We apply the replica method to analyze vector precoding, a method to reduce transmit power in antenna array communications. The analysis applies to a very general class of channel...
Ralf R. Müller, Dongning Guo, Aris L. Moustak...
JAR
2007
142views more  JAR 2007»
15 years 6 months ago
Reasoning in Description Logics by a Reduction to Disjunctive Datalog
As applications of description logics proliferate, efficient reasoning with knowledge bases containing many assertions becomes ever more important. For such cases, we developed a n...
Ullrich Hustadt, Boris Motik, Ulrike Sattler
ICDT
2009
ACM
149views Database» more  ICDT 2009»
16 years 7 months ago
Query languages for data exchange: beyond unions of conjunctive queries
The class of unions of conjunctive queries (UCQ) has been shown to be particularly well-behaved for data exchange; its certain answers can be computed in polynomial time (in terms...
Juan Reutter, Marcelo Arenas, Pablo Barceló
SODA
2010
ACM
175views Algorithms» more  SODA 2010»
16 years 3 months ago
Optimally Reconstructing Weighted Graphs Using Queries
d Abstract) Hanna Mazzawi Technion - Israel Institute of Technology In this paper, we consider the problem of reconstructing a hidden graph with m edges using additive queries. Gi...
Hanna Mazzawi