6059 search results - page 241 / 1212 » A Technique for Verifying Measurements |
299
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
136
click to vote
AVBPA
2003
Springer
15 years 12 months ago
2003
Springer
Given a biometric feature-space, in this paper we present a method to predict cumulative match characteristic (CMC) curve performance for a large population of individuals using a ...
159
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
Faster defect localization is achieved by combining IC simulations and internal measurements. Time resolved photon emission records photons emitted during commutations (current) r...
166
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
In this paper, a wavelet-based technique for the demosaicking of Color Filter Arrays (CFA) is proposed. Conventional demosaicking techniques perform interpolation of the missing p...
170
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Experimental analysis of networks of cooperative learning agents (to verify certain properties such as the system's stability) has been commonly used due to the complexity of...