6941 search results - page 852 / 1389 » Testing as a Certification Approach |
190
click to vote
ICIP
2010
IEEE
15 years 5 months ago
2010
IEEE
Recently, patch-based denoising techniques have proved to be very effective. Indeed, they account for the correlations that exist among patches of natural images. Taking a variati...
318
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
199
click to vote
SECON
2010
IEEE
15 years 5 months ago
2010
IEEE
The predictable trajectory of underwater gliders can be used in geographic routing protocols. Factors such as drifting and localization errors cause uncertainty when estimating a g...
243
click to vote
BMEI
2009
IEEE
15 years 5 months ago
2009
IEEE
Novel approach for statistical inference in survival analysis based on factor or dichotomic variables is proposed. We are seeking for the most informative finitely linear combinat...
213
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: One of the basic tasks of automotive collision avoidance and collision mitigation systems is the robust and reliable detection of objects as well as the prediction of fut...