WG
2000
Springer
14 years 3 months ago
2000
Springer
WG
2000
Springer
14 years 3 months ago
2000
Springer
GI
1997
Springer
14 years 3 months ago
1997
Springer
Abstract. This text describes how persistent object system technology developed in European basic research is being used by a small German startup software company to realize innov...
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...