WG
2000
Springer
13 years 11 months ago
2000
Springer
WG
2000
Springer
13 years 11 months ago
2000
Springer
GI
1997
Springer
13 years 11 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
13 years 11 months ago
2000
Springer
STACS
2000
Springer
13 years 11 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
13 years 11 months ago
2000
Springer
STACS
2000
Springer
13 years 11 months ago
2000
Springer
STACS
2000
Springer
13 years 11 months ago
2000
Springer
STACS
2000
Springer
13 years 11 months ago
2000
Springer
STACS
2000
Springer
13 years 11 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...