884 search results - page 101 / 177 » A semantics of sequence diagrams |
FSTTCS
2007
Springer
15 years 4 months ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
ICPR
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents an approach for indexing a large set of videos by considering the dynamic behaviour of local visual features along the sequences. The proposed concept is based...
NLDB
2007
Springer
15 years 4 months ago
2007
Springer
This work deals with determination of meaningful and terse cluster labels for News document clusters. We analyze a number of alternatives for selecting headlines and/or sentences o...
ICDE
2007
IEEE
15 years 1 months ago
2007
IEEE
In this paper, we propose a simple and flexible execution model that (i) supports a wide spectrum of alternative optimization and execution strategies and their mixtures, (ii) pro...
ISMB
1993
14 years 11 months ago
1993
There are several dimensions and levels of complexity in which information on protein motifs may be available. For example, onedimensional sequence motifs may be associated with s...