4485 search results - page 138 / 897 » Equivalences on Observable Processes |
WIAMIS
2009
IEEE
14 years 4 months ago
2009
IEEE
We propose a novel statistical approach to detect defects in digitized archive film by using temporal information across a number of frames modeled with an HMM. The HMM is traine...
ICALT
2006
IEEE
14 years 4 months ago
2006
IEEE
Observation activity, on instrumented collective learning situations, enables participants to appropriate themselves corresponding systems in their own practice. In this paper, we...
FMCO
2005
Springer
14 years 3 months ago
2005
Springer
We present a method for decomposing modal formulas for processes with the internal action τ. To decide whether a process algebra term satisfies a modal formula, one can check whe...
ENTCS
2007
13 years 10 months ago
2007
We propose a compositional technique for efficient verification of networks of parallel processes. It is based on an automatic analysis of LTSs of individual processes (using a f...
BPM
2008
Springer
13 years 12 months ago
2008
Springer
In the immediate aftermath of a disaster routine processes, even if specifically designed for such a situation, are not enacted blindly. Actions and processes rather adapt their be...