208 search results - page 33 / 42 » Realization using the model existence theorem |
101
click to vote
MICCAI
2009
Springer
15 years 3 months ago
2009
Springer
We propose a recursive Bayesian model for the delineation of coronary arteries from 3D CT angiograms (cardiac CTA) and discuss the use of discrete minimal path techniques as an e...
108
click to vote
FGCS
2007
14 years 10 months ago
2007
A crucial goal for future Grid systems is to strive towards user-centric service provisioning. A way to achieve this is through the use of economics-based resource management. Cur...
BIS
2006
14 years 12 months ago
2006
Abstract Nowadays, process oriented software systems, like many business information systems, don't exist only in one single version, but in many variants for better coverage ...
101
click to vote
SAT
2009
Springer
15 years 5 months ago
2009
Springer
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
103
click to vote
EUROSYS
2010
ACM
15 years 7 months ago
2010
ACM
Cloud computing offers users the ability to access large pools of computational and storage resources on demand. Multiple commercial clouds already allow businesses to replace, or...