2060 search results - page 207 / 412 » The Composition of Event-B Models |
169
click to vote
ICIAR
2007
Springer
16 years 22 days ago
2007
Springer
This paper presents a novel approach to bimodal texture segmentation. The proposed approach features a local binary pattern-based scheme to transform bimodal textures into bimodal ...
145
click to vote
CAISE
2005
Springer
16 years 3 days ago
2005
Springer
Traditional requirements engineering approaches suffer from the tyranny of the dominant decomposition, with functional requirements serving as the base decomposition and non-functi...
157
click to vote
WAIM
2005
Springer
16 years 1 days ago
2005
Springer
In this paper, we propose FECT, a new modelling framework for describing and composing heterogenous Web services to satisfy emergent requirements. In FECT, a three-dimension descri...
199
click to vote
ACPC
1999
Springer
15 years 11 months ago
1999
Springer
In this paper, we first present an Object Composition Petri Nets (OCPN) based model methodology for describing the dynamic behaviour of the multiple video objects and user interac...
163
click to vote
EVOW
1999
Springer
15 years 11 months ago
1999
Springer
The traditional paradigm for digital filter design is based on the concept of a linear difference equation with the output response being a weighted sum of signal samples with usua...