22 search results - page 1 / 5 » Dominance Testing via Model Checking |
AAAI
2010
15 years 7 days 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
15 years 4 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
15 years 2 months ago
2004
IEEE
TACAS
1998
Springer
15 years 3 months ago
1998
Springer
WABI
2007
Springer
15 years 4 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...