2556 search results - page 130 / 512 » The Triconnected Abstraction of Process Models |
165
Voted
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
Abstract-- Complexity modeling of spatial-temporal compensations in H.264/AVC decoding is performed by examining a rich set of inter- and intra-prediction modes. Specifically, we s...
154
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
The annotation of song changes in music mixes created by DJs or radio stations for direct access in digital recordings is, usually, a very tedious work. In order to support this p...
160
click to vote
FSEN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
203
click to vote
EUROPAR
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
146
click to vote
UML
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. State machines, represented by statecharts or statechart diagrams, are an important formalism for behavioural modelling. According to the research literature, the most po...