Sciweavers

10271 search results - page 513 / 2055
» Computer Science
Sort
View
SIGSOFT
2003
ACM
16 years 7 months ago
Policy-enforced linking of untrusted components
d Abstract) Eunyoung Lee Andrew W. Appel Department of Computer Science Princeton University {elee,appel}@cs.princeton.edu Categories and Subject Descriptors D.2.4 [Software Engine...
Eunyoung Lee, Andrew W. Appel
SOFSEM
2009
Springer
16 years 3 months ago
Polylog Space Compression Is Incomparable with Lempel-Ziv and Pushdown Compression
This paper considers online compression algorithms that use at most polylogarithmic space (plogon). These algorithms correspond to compressors in the data stream model. We study th...
Elvira Mayordomo, Philippe Moser
STACS
2010
Springer
16 years 1 months ago
The k-in-a-path Problem for Claw-free Graphs
Testing whether there is an induced path in a graph spanning k given vertices is already NP-complete in general graphs when k = 3. We show how to solve this problem in polynomial t...
Jirí Fiala, Marcin Kaminski, Bernard Lidick...
STACS
2010
Springer
16 years 1 months ago
Optimal Query Complexity for Reconstructing Hypergraphs
In this paper we consider the problem of reconstructing a hidden weighted hypergraph of constant rank using additive queries. We prove the following: Let G be a weighted hidden h...
Nader H. Bshouty, Hanna Mazzawi
125
Voted
STACS
2009
Springer
16 years 1 months ago
More Haste, Less Waste: Lowering the Redundancy in Fully Indexable Dictionaries
Abstract. We consider the problem of representing, in a compressed format, a bitvector S of m bits with n 1s, supporting the following operations, where b ∈ {0, 1}:
Roberto Grossi, Alessio Orlandi, Rajeev Raman, S. ...