6059 search results - page 281 / 1212 » A Technique for Verifying Measurements |
158
click to vote
MICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
Building a high-performance microprocessor presents many reliability challenges. Designers must verify the correctness of large complex systems and construct implementations that ...
191
click to vote
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
189
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
In this work, two new techniques for non-linear feature extraction are presented. In these techniques, new features are obtained as radial projections of the original measurements...
174
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
The combination of experts is used to improve the performance of a classification system. In this paper we propose three dynamic score combination techniques that embed the selec...
162
click to vote
COLING
2008
15 years 8 months ago
2008
We present ParaMetric, an automatic evaluation metric for data-driven approaches to paraphrasing. ParaMetric provides an objective measure of quality using a collection of multipl...