146
click to vote
FCT
1995
Springer
15 years 8 months ago
1995
Springer
The concatenable processes of a Petri net N can be characterized ly as the arrows of a symmetric monoidal category P[N]. Yet, this is only a partial axiomatization, since P[N] is b...
129
click to vote
FCT
1995
Springer
15 years 8 months ago
1995
Springer
The synchronization of two or more semi-traces describes the possible evaluation of a concurrent system, which consists of two or more concurrent subsystems in a modular way, where...
132
click to vote
FCT
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. We present algorithms for maintaining shortest path information in dynamic outerplanar digraphs with sublogarithmic query time. By choosing appropriate parameters we achi...
144
click to vote
ICIAP
1997
ACM
15 years 8 months ago
1997
ACM
This paper presents methods for detection and reconstruction of `missing' data in image sequences which can be modelled using 3-dimensional autoregressive (3DAR) models. The ...