Sciweavers

1632 search results - page 45 / 327
» On special numberings of hypergraphs
Sort
View
SIGMOD
2004
ACM
159views Database» more  SIGMOD 2004»
16 years 6 months ago
Reconsidering Multi-Dimensional schemas
This paper challenges the currently popular "Data Warehouse is a Special Animal" philosophy and advocates that practitioners adopt a more conservative "Data Warehou...
Tim Martyn
LFCS
2007
Springer
16 years 12 days ago
Compactness Properties for Stable Semantics of Logic Programs
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...
Victor W. Marek, Jeffrey B. Remmel
APPROX
2004
Springer
116views Algorithms» more  APPROX 2004»
15 years 11 months ago
Randomized Approximation Algorithms for Set Multicover Problems with Applications to Reverse Engineering of Protein and Gene Net
In this paper we investigate the computational complexity of a combinatorial problem that arises in the reverse engineering of protein and gene networks. Our contributions are as ...
Piotr Berman, Bhaskar DasGupta, Eduardo D. Sontag
ICALP
2003
Springer
15 years 11 months ago
Oracle Circuits for Branching-Time Model Checking
A special class of oracle circuits with tree-vector form is introduced. It is shown that they can be evaluated in deterministic polynomial-time with a polylog number of adaptive qu...
Ph. Schnoebelen
ISIM
2007
15 years 7 months ago
Notes on Restricted P Colonies
We continue the investigation of P coloniesintroduced in [7], of abstract computing devices composed of independent agents, acting and evolving in a shared environment. We determin...
Lucie Ciencialová, Ludek Cienciala