10891 search results - page 144 / 2179 » Combining Model Reductions |
172
click to vote
CONCUR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...
140
click to vote
MICCAI
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. With the increasing capability of MR imaging and Computational Fluid Dynamics (CFD) techniques, a significant amount of data related to the haemodynamics of the cardiovas...
121
click to vote
ISBI
2008
IEEE
16 years 4 months ago
2008
IEEE
We describe a new approach for elucidating the nonlinear degrees of freedom in a distribution of shapes depicted in digital images. By combining a deformation-based method for mea...
133
Voted
HPCA
2005
IEEE
16 years 3 months ago
2005
IEEE
If current technology scaling trends hold, leakage power dissipation will soon become the dominant source of power consumption in high performance processors. Caches, due to the f...
131
click to vote
GFKL
2007
Springer
15 years 9 months ago
2007
Springer
Recommender Systems are gaining widespread acceptance in e-commerce applications to confront the information overload problem. Collaborative Filtering (CF) is a successful recommen...