697 search results - page 98 / 140 » Decomposition Structures for Event-B |
107
Voted
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
—In this paper we study the distributed multi-channel power allocation for spectrum sharing cognitive radio networks with QoS guarantee. We formulate this problem as a noncoopera...
119
click to vote
SOCO
2009
Springer
15 years 6 months ago
2009
Springer
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
ICASSP
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents a hierarchical lane detection system with the ability to deal with both structured and unstructured roads. The proposed system classifies the environment first...
104
click to vote
SCALESPACE
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we address the problem of estimating mesoscale dynamics of atmospheric layers from satellite image sequences. Relying on a physically sound vertical decomposition of...
107
click to vote
IPPS
2005
IEEE
15 years 5 months ago
2005
IEEE
With the increasing availability of high-performance massively parallel computer systems, the prevalence of sophisticated scientific simulation has grown rapidly. The complexity ...