493 search results - page 10 / 99 » The oracle penalty method |
ACL
2006
13 years 10 months ago
2006
We consider the problem of producing a multi-document summary given a collection of documents. Since most successful methods of multi-document summarization are still largely extr...
TYPES
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
CVPR
2010
IEEE
14 years 2 months ago
2010
IEEE
Long-term persistent tracking in ever-changing environments is a challenging task, which often requires addressing difficult object appearance update problems. To solve them, most...
QSIC
2003
IEEE
14 years 2 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
ECOOP
2006
Springer
14 years 18 days ago
2006
Springer
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...