819 search results - page 70 / 164 » Using Assumptions to Distribute CTL Model Checking |
MICCAI
2009
Springer
16 years 1 months ago
2009
Springer
Probabilistic models are extensively used in medical image segmentation. Most of them employ parametric representations of densities and make idealizing assumptions, e.g. normal di...
108
Voted
ALT
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Support Vector Machines Regression (SVMR) is a learning technique where the goodness of fit is measured not by the usual quadratic loss function (the mean square error),...
149
Voted
JMLR
2006
15 years 18 days ago
2006
In recent years, several methods have been proposed for the discovery of causal structure from non-experimental data. Such methods make various assumptions on the data generating ...
121
Voted
SDL
2003
15 years 2 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
JIPS
2010
14 years 7 months ago
2010
Communication devices aim to provide a multimedia service without spatial or temporal limitations in an IP-based environment. However, it is incapable of allowing for fair use by c...