Sciweavers

11949 search results - page 84 / 2390
» Some results on (a:b)-choosability
Sort
View
KRDB
2001
110views Database» more  KRDB 2001»
15 years 2 months ago
Path Constraints from a Modal Logic Point of View
We analyze several classes of path constraints for semistructured data in a unified framework and prove some decidability and complexity results for these constraints by embedding...
Natasha Alechina, Stéphane Demri, Maarten d...
100
Voted
DM
2006
105views more  DM 2006»
15 years 25 days ago
Large sets of t-designs through partitionable sets: A survey
The method of partitionable sets for constructing large sets of t-designs have now been used for nearly a decade. The method has resulted in some powerful recursive constructions ...
Gholamreza B. Khosrovshahi, Behruz Tayfeh-Rezaie
103
Voted
DAGSTUHL
2007
15 years 2 months ago
Nonsymmetric algebraic Riccati equations associated with an M-matrix: recent advances and algorithms
We survey on theoretical properties and algorithms concerning the problem of solving a nonsymmetric algebraic Riccati equation, and we report on some known methods and new algorit...
Dario Andrea Bini, Bruno Iannazzo, Beatrice Meini,...
SIGACT
2010
74views more  SIGACT 2010»
14 years 11 months ago
Typically-correct derandomization
A fundamental question in complexity theory is whether every randomized polynomial time algorithm can be simulated by a deterministic polynomial time algorithm (that is, whether B...
Ronen Shaltiel
147
Voted
LPNMR
2011
Springer
14 years 3 months ago
Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI
Over the last 25 years there has been considerable body of research into combinations of predicate logic and probability forming what has become known as (perhaps misleadingly) sta...
David Poole