Sciweavers

SWAT
2004
Springer
98views Algorithms» more  SWAT 2004»
14 years 3 months ago
Tight Approximability Results for Test Set Problems in Bioinformatics
In this paper, we investigate the test set problem and its variations that appear in a variety of applications. In general, we are given a universe of objects to be “distinguish...
Piotr Berman, Bhaskar DasGupta, Ming-Yang Kao
SWAT
2004
Springer
108views Algorithms» more  SWAT 2004»
14 years 3 months ago
Independent Set of Intersection Graphs of Convex Objects in 2D
Pankaj K. Agarwal, Nabil H. Mustafa
SWAT
2004
Springer
90views Algorithms» more  SWAT 2004»
14 years 3 months ago
Subexponential-Time Framework for Optimal Embeddings of Graphs in Integer Lattices
Anders Dessmark, Andrzej Lingas, Eva-Marta Lundell
SCN
2004
Springer
121views Communications» more  SCN 2004»
14 years 3 months ago
ECRYPT: The Cryptographic Research Challenges for the Next Decade
Abstract. In the past thirty years, cryptology has evolved from a secret art to a modern science. Weaker algorithms and algorithms with short keys are disappearing, political contr...
Bart Preneel
SAS
2004
Springer
14 years 3 months ago
A Polynomial-Time Algorithm for Global Value Numbering
We describe a polynomial-time algorithm for global value numbering, which is the problem of discovering equivalences among program sub-expressions. We treat all conditionals as non...
Sumit Gulwani, George C. Necula
ISSAC
2004
Springer
94views Mathematics» more  ISSAC 2004»
14 years 3 months ago
Algorithms for polynomial GCD computation over algebraic function fields
Let L be an algebraic function field in k ≥ 0 parameters t1, . . . , tk. Let f1, f2 be non-zero polynomials in L[x]. We give two algorithms for computing their gcd. The first,...
Mark van Hoeij, Michael B. Monagan
ISSAC
2004
Springer
99views Mathematics» more  ISSAC 2004»
14 years 3 months ago
Inversion of parameterized hypersurfaces by means of subresultants
We present a subresultant-based algorithm for deciding if the parametrization of a toric hypersurface is invertible or not, and for computing the inverse of the parametrization in...
Laurent Busé, Carlos D'Andrea
ICOIN
2004
Springer
14 years 3 months ago
On Generating Random Network Structures: Connected Graphs
Abstract. In this paper we present the set of base algorithms for generating connected random graphs (RG). RG can be used for testing different algorithms on networks. The fast al...
Alexey S. Rodionov, Hyunseung Choo
ICALP
2004
Springer
14 years 3 months ago
Online Scheduling of Equal-Length Jobs: Randomization and Restarts Help
We consider the following scheduling problem. The input is a set of jobs with equal processing times, where each job is specified by its release time and deadline. The goal is to ...
Marek Chrobak, Wojciech Jawor, Jiri Sgall, Tom&aac...
EUROCRYPT
2004
Springer
14 years 3 months ago
Merkle Tree Traversal in Log Space and Time
Abstract. We present a technique for Merkle tree traversal which requires only logarithmic space and time1 . For a tree with N nodes, our algorithm computes sequential tree leaves ...
Michael Szydlo