Sciweavers

STACS
2000
Springer
14 years 2 months ago
Multi-linearity Self-Testing with Relative Error
We investigate self-testing programs with relative error by allowing error terms proportional to the function to be computed. Until now, in numerical computation, error terms were ...
Frédéric Magniez
STACS
2000
Springer
14 years 2 months ago
The CNN Problem and Other k-Server Variants
Elias Koutsoupias, David Scot Taylor
STACS
2000
Springer
14 years 2 months ago
Hereditary History Preserving Bisimilarity Is Undecidable
Marcin Jurdzinski, Mogens Nielsen
STACS
2000
Springer
14 years 2 months ago
Simulation and Bisimulation over One-Counter Processes
Petr Jancar, Antonín Kucera, Faron Moller
STACS
2000
Springer
14 years 2 months ago
The Complexity of Poor Man's Logic
Motivated by description logics, we investigate what happens to the complexity of modal satisfiability problems if we only allow formulas built from literals, , 3, and 2. Previous...
Edith Hemaspaandra
STACS
2000
Springer
14 years 2 months ago
On the Many Faces of Block Codes
Abstract. Block codes are first viewed as finite state automata represented as trellises. A technique termed subtrellis overlaying is introduced with the object of reducing decoder...
Kaustubh Deshmukh, Priti Shankar, Amitava Dasgupta...
STACS
2000
Springer
14 years 2 months ago
The Power Range Assignment Problem in Radio Networks on the Plane
Andrea E. F. Clementi, Paolo Penna, Riccardo Silve...
STACS
2000
Springer
14 years 2 months ago
The Stability of Saturated Linear Dynamical Systems Is Undecidable
We prove that several global properties (global convergence, global asymptotic stability, mortality, and nilpotence) of particular classes of discrete time dynamical systems are un...
Vincent D. Blondel, Olivier Bournez, Pascal Koiran...