Sciweavers

473 search results - page 44 / 95
» Behavioural Models for Hierarchical Components
Sort
View
133
Voted
COORDINATION
2009
Springer
15 years 1 months ago
Automata for Context-Dependent Connectors
Abstract. Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, s...
Marcello M. Bonsangue, Dave Clarke, Alexandra Silv...
154
Voted
JMLR
2008
127views more  JMLR 2008»
15 years 3 months ago
Incremental Identification of Qualitative Models of Biological Systems using Inductive Logic Programming
The use of computational models is increasingly expected to play an important role in predicting the behaviour of biological systems. Models are being sought at different scales o...
Ashwin Srinivasan, Ross D. King
147
Voted
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
15 years 1 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
144
Voted
TCSV
2010
14 years 10 months ago
Efficient Bit Allocation and Rate Control Algorithms for Hierarchical Video Coding
Hierarchical structure is a useful tool for providing the necessary scalability in adapting to the variety of channel environments. For schemes involving hierarchical picture struc...
Chan-Won Seo, Jung Won Kang, Jong-Ki Han, Truong Q...
132
Voted
CVPR
2009
IEEE
16 years 10 months ago
HOP: Hierarchical Object Parsing
In this paper we consider the problem of object parsing, namely detecting an object and its components by composing them from image observations. Apart from object localization, ...
Iasonas Kokkinos, Alan L. Yuille