1054 search results - page 11 / 211 » Translation Validation of System Abstractions |
101
Voted
AWIC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Answer validation is an important component of any question answering system. In this paper we show how the formalism of prioritized fuzzy constraint satisfaction allows ...
EMNLP
2004
15 years 1 months ago
2004
If two translation systems differ differ in performance on a test set, can we trust that this indicates a difference in true system quality? To answer this question, we describe b...
102
click to vote
B
1998
Springer
15 years 4 months ago
1998
Springer
Reactive systems can be designed graphically using statecharts. This paper presents a scheme for the translation of statecharts into the Abstract Machine Notation (AMN) of the B me...
86
Voted
CLEF
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. The paper features MAVE, a knowledge-based system for answer validation through deep linguistic processing and logical inference. A relaxation loop is used to determine a...
126
click to vote
TVLSI
2008
14 years 11 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...