STACS
2000
Springer
14 years 3 months ago
2000
Springer
STACS
2000
Springer
14 years 3 months ago
2000
Springer
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 ...
STACS
2000
Springer
14 years 3 months ago
2000
Springer
STACS
2000
Springer
14 years 3 months ago
2000
Springer
STACS
2000
Springer
14 years 3 months ago
2000
Springer
STACS
2000
Springer
14 years 3 months ago
2000
Springer
STACS
2000
Springer
14 years 3 months ago
2000
Springer
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...
STACS
2000
Springer
14 years 3 months ago
2000
Springer
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...
STACS
2000
Springer
14 years 3 months ago
2000
Springer
STACS
2000
Springer
14 years 3 months ago
2000
Springer
We prove that several global properties (global convergence, global asymptotic stability, mortality, and nilpotence) of particular classes of discrete time dynamical systems are un...