Sciweavers

6568 search results - page 256 / 1314
» Reducing the Complexity of Reductions
Sort
View
CAISE
2003
Springer
15 years 10 months ago
Improving the Efficiency of Workflow Analysis
This paper presents an approach for the improvement of the efficiency of the performance analysis of large workflow models. We propose a simple and powerful decidable Petri net red...
Loucif Zerguini
TCC
2010
Springer
121views Cryptology» more  TCC 2010»
15 years 4 months ago
An Efficient Parallel Repetition Theorem
Abstract. We present a general parallel-repetition theorem with an efficient reduction. As a corollary of this theorem we establish that parallel repetition reduces the soundness e...
Johan Håstad, Rafael Pass, Douglas Wikstr&ou...
JMLR
2010
93views more  JMLR 2010»
15 years 1 months ago
Sufficient covariates and linear propensity analysis
Working within the decision-theoretic framework for causal inference, we study the properties of "sufficient covariates", which support causal inference from observation...
Hui Guo, A. Philip Dawid
DLOG
2011
14 years 10 months ago
On (In)Tractability of OBDA with OWL 2 QL
We show that, although conjunctive queries over OWL 2 QL ontologies are reducible to database queries, no algorithm can construct such a reduction in polynomial time without changi...
Stanislav Kikot, Roman Kontchakov, Michael Zakhary...
COLING
1992
15 years 7 months ago
On the Satisfiability of Complex Constraints
The main problem arising from the use of complex constraints in Computational Linguists is due to the NP-hardness of checking whether a given set of constraints is satisfiable and...
Luís Damas, Giovanni B. Varile