232 search results - page 5 / 47 » Merging Features in Featured Transition Systems |
123
click to vote
ENTCS
2007
15 years 1 months ago
2007
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
— In this paper, we present a temporal logic called F whose interpretation is over Input Output Symbolic Transition Systems (IOSTS). IOSTS extend transition systems to communicat...
COOPIS
2004
IEEE
15 years 4 months ago
2004
IEEE
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
— This paper proposes a method for synthesizing dance performance synchronized to played music and our method presents a system that imitates dancers’ skills in performing thei...
115
click to vote
ICIP
2001
IEEE
16 years 2 months ago
2001
IEEE
A multi-resolution segmentation approach for color images is proposed. The scale space is generated using the Perona-Malik diffusion approach and the watershed algorithm is employ...