3991 search results - page 357 / 799 » Bounding homogeneous models |
195
click to vote
CDC
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract— In this paper we present a dual-based decomposition method, called here the proximal center method, to solve distributed model predictive control (MPC) problems for cou...
212
click to vote
CGO
2007
IEEE
16 years 1 months ago
2007
IEEE
Emerging microprocessors offer unprecedented parallel computing capabilities and deeper memory hierarchies, increasing the importance of loop transformations in optimizing compile...
276
click to vote
ISBI
2007
IEEE
16 years 1 months ago
2007
IEEE
Three-dimensional mammary cell culture models offer new opportunities for the development of computational techniques for segmentation, localization, and multicellular organizatio...
211
click to vote
WACV
2007
IEEE
16 years 1 months ago
2007
IEEE
With the pervasive use of handheld digital devices such as camera phones and PDAs, people have started to capture images as a way of recording information. However, due to the non...
199
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...