9110 search results - page 178 / 1822 » Formally-Based Design Evaluation |
153
Voted
PLDI
1997
ACM
15 years 9 months ago
1997
ACM
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
176
click to vote
AUSDM
2008
Springer
15 years 7 months ago
2008
Springer
The area of imbalanced datasets is still relatively new, and it is known that the use of overall accuracy is not an appropriate evaluation measure for imbalanced datasets, because...
238
click to vote
AKA
2004
15 years 6 months ago
2004
Abstract: The evaluation of software architectures is crucial to ensure that the design of software systems meets the requirements. We present a generic methodical framework that e...
127
Voted
AVBPA
2003
Springer
15 years 10 months ago
2003
Springer
The NIST HumanID Evaluation Framework, or HEF, is an effort to design, implement, and deploy standards for the robust and complete documentation of the biometric system evaluation...
145
Voted
PEPM
1999
ACM
15 years 9 months ago
1999
ACM
This paper explores the relationship between C++ templates and partial evaluation. Templates were designed to support generic programming but unintentionally provided the ability ...