4276 search results - page 213 / 856 » Techniques for Empirical Validation |
189
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
164
click to vote
ESEM
2009
ACM
16 years 1 months ago
2009
ACM
The following study investigated cognitive factors involved in applying the Perspective-Based Reading (PBR) technique for defect detection in software inspections. Using the proto...
179
click to vote
MCS
2007
Springer
16 years 22 days ago
2007
Springer
Selecting the optimal number of features in a classifier ensemble normally requires a validation set or cross-validation techniques. In this paper, feature ranking is combined with...
239
click to vote
APN
2010
Springer
15 years 11 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
177
click to vote
CLEIEJ
2006
15 years 6 months ago
2006
: This paper presents an account of the experience observed when obtaining a set of requirements for the development of educational software for people with impaired vision. Numero...