2062 search results - page 325 / 413 » Derivatives of Logical Formulas |
163
click to vote
TPDS
2002
15 years 5 months ago
2002
Speculative prefetching has been proposed to improve the response time of network access. Previous studies in speculative prefetching focus on building and evaluating access models...
134
click to vote
TROB
2002
15 years 5 months ago
2002
This paper presents an error modeling of an odometry system for a synchronous-drive system and a possible strategy for evaluating this error. The odometry error is modeled by intro...
155
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We consider the problem of learning a coefficient vector x0 ∈ RN from noisy linear observation y = Ax0 + w ∈ Rn . In many contexts (ranging from model selection to image proce...
210
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the n...
173
click to vote
IJAR
2010
15 years 4 months ago
2010
We explore generalizations of the pari-mutuel model (PMM), a formalization of an intuitive way of assessing an upper probability from a precise one. We discuss a naive extension o...