22 search results - page 1 / 5 » Dominance Testing via Model Checking |
AAAI
2010
13 years 6 months ago
2010
Dominance testing, the problem of determining whether an outcome is preferred over another, is of fundamental importance in many applications. Hence, there is a need for algorithm...
ISCIS
2004
Springer
13 years 9 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
COMPSAC
2004
IEEE
13 years 8 months ago
2004
IEEE
TACAS
1998
Springer
13 years 8 months ago
1998
Springer
WABI
2007
Springer
13 years 10 months ago
2007
Springer
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...