31 search results - page 1 / 7 » er 1994 |
ER
1994
Springer
13 years 9 months ago
1994
Springer
ER
1994
Springer
13 years 9 months ago
1994
Springer
Abstract. As information systems are increasingly being called upon to play vital roles in organizations, conceptual modelling techniques need to be extended to relate information ...
COCO
1994
Springer
13 years 9 months ago
1994
Springer
We study competing-prover one-round interactive proof systems. We show that one-round proof systems in which the rst prover is trying to convince a veri er to accept and the secon...
MFCS
1994
Springer
13 years 9 months ago
1994
Springer
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
ECCV
1994
Springer
14 years 6 months ago
1994
Springer
Abstract. Regularization o ers a powerful framework for signal reconstruction by enforcing weak constraints through the use of stabilizers. Stabilizers are functionals measuring th...