697 search results - page 61 / 140 » Decomposition Structures for Event-B |
114
click to vote
SIAMSC
2008
15 years 3 months ago
2008
We discuss in this paper the numerical approximation of fluid-structure interaction (FSI) problems dealing with strong added-mass effect. We propose new semi-implicit algorithms ba...
142
Voted
ACCV
2009
Springer
15 years 7 months ago
2009
Springer
We study the problem of classifying images into a given, pre-determined taxonomy. The task can be elegantly translated into the structured learning framework. Structured learning, ...
ENTCS
2007
15 years 3 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...
116
click to vote
ICCAD
2006
IEEE
16 years 1 days ago
2006
IEEE
It has been shown that the delay of a target path can be composed linearly of other path delays. If the later paths are robustly testable (with known delay values), the target pat...
112
click to vote
P2P
2006
IEEE
15 years 9 months ago
2006
IEEE
We describe the problem of data dissemination in stream-oriented applications where the required filter is a function of the current state. We call such functions dynamic filter...