697 search results - page 98 / 140 » Decomposition Structures for Event-B |
175
click to vote
INFOCOM
2009
IEEE
16 years 17 days 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...
183
Voted
SOCO
2009
Springer
16 years 14 days 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...
144
click to vote
ICASSP
2008
IEEE
16 years 11 days 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...
171
click to vote
SCALESPACE
2007
Springer
16 years 1 days 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...
163
click to vote
IPPS
2005
IEEE
15 years 11 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 ...