Sciweavers

JCSS
2000
92views more  JCSS 2000»
13 years 4 months ago
Querying Spatial Databases via Topological Invariants
The paper investigates the use of topological annotations (called topological invariants) to answer topological queries in spatial databases. The focus is on the translation of to...
Luc Segoufin, Victor Vianu
JCSS
2000
76views more  JCSS 2000»
13 years 4 months ago
Inequalities for Shannon Entropy and Kolmogorov Complexity
Daniel Hammer, Andrei E. Romashchenko, Alexander S...
JCSS
2000
37views more  JCSS 2000»
13 years 4 months ago
On the Limits of Nonapproximability of Lattice Problems
Oded Goldreich, Shafi Goldwasser
JCSS
2000
116views more  JCSS 2000»
13 years 4 months ago
Time-Space Tradeoffs for Satisfiability
We give the first nontrivial model-independent time-space tradeoffs for satisfiability. Namely, we show that SAT cannot be solved simultaneously in n1+o(1) time and n1space for an...
Lance Fortnow
JCSS
2000
98views more  JCSS 2000»
13 years 4 months ago
Rooted Branching Bisimulation as a Congruence
This article presents a congruence format, in structural operational semantics, for rooted branching bisimulation equivalence. The format imposes additional requirements on Groote...
Wan Fokkink
JCSS
2000
86views more  JCSS 2000»
13 years 4 months ago
Improved Algorithms via Approximations of Probability Distributions
Suresh Chari, Pankaj Rohatgi, Aravind Srinivasan
JCSS
2000
71views more  JCSS 2000»
13 years 4 months ago
Path Constraints in Semistructured Databases
We investigate a class of path constraints that is of interest in connection with both semistructured and structured data. In standard database systems, constraints are typically ...
Peter Buneman, Wenfei Fan, Scott Weinstein
JCSS
2000
57views more  JCSS 2000»
13 years 4 months ago
Min-Wise Independent Permutations
Andrei Z. Broder, Moses Charikar, Alan M. Frieze, ...