6045 search results - page 236 / 1209 » Computable Linearizations of Well-partial-orderings |
MLDM
2009
Springer
14 years 2 months ago
2009
Springer
In two-class score-based problems the combination of scores from an ensemble of experts is generally used to obtain distributions for positive and negative patterns that exhibit a ...
ICNSC
2007
IEEE
14 years 2 months ago
2007
IEEE
The paper addresses object localization via a distributed sensor network. A centralized estimation approach is undertaken along with a selective node activation strategy to ensure...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...
FOSSACS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. System L is a linear λ-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of G¨odel’s Sy...
IWCM
2004
Springer
14 years 1 months ago
2004
Springer
Estimation of optical flow and physically motivated brightness changes can be formulated as parameter estimation in linear models. Accuracy of this estimation heavily depends on t...