2989 search results - page 134 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
133
click to vote
DEXAW
2006
IEEE
15 years 8 months ago
2006
IEEE
Organisations may wish to use a standards-defined distributed system in a global sense but also have a requirement for non-standard local behaviour. This reflects the production...
135
click to vote
FORMATS
2003
Springer
15 years 7 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
90
Voted
WSC
1998
15 years 3 months ago
1998
In this paper, we investigate the problem of deriving precision estimates for bootstrap quantities within parametric families. Efron's [1992] jackknife-after-bootstrap is a s...
128
click to vote
DATESO
2010
15 years 12 days ago
2010
Abstract. The high dimensionality of the data generated by social networks has been a big challenge for researchers. In order to solve the problems associated with this phenomenon,...
194
click to vote
CVPR
2011
IEEE
14 years 9 months ago
2011
IEEE
Blind image deconvolution is an ill-posed problem that requires regularization to solve. However, many common forms of image prior used in this setting have a major drawback in th...