4270 search results - page 36 / 854 » A Permutation Approach to Validation |
CLEF
2007
Springer
15 years 6 months ago
2007
Springer
This paper is about our approach to answer validation, which centered by a Recognizing Textual Entailment (RTE) core engine. We first combined the question and the answer into Hypo...
116
click to vote
GI
2009
Springer
14 years 9 months ago
2009
Springer
Abstract: This paper presents a new approach to Automatic GUI Test Case Generation and Validation: a use case-guided technique to reduce the effort required in GUI modeling and tes...
LREC
2010
15 years 1 months ago
2010
This paper describes the development of tools for a semi-automated process for validation of treebank annotation at various levels. Consistency in treebank annotation is a must fo...
FTCS
1998
15 years 1 months ago
1998
The traditional use of formal methods has been for the veri cation of algorithms or protocols. Given the high cost and limitations in state space coverage provided by conventional...
107
click to vote
CAV
2008
Springer
15 years 1 months ago
2008
Springer
The growing design-productivity gap has made designers shift toward using high-level languages like C, C++ and Java to do system-level design. High-Level Synthesis (HLS) is the pro...