1054 search results - page 15 / 211 » Translation Validation of System Abstractions |
AUTOMATICA
2006
14 years 12 months ago
2006
Abstract-- New methods for model validation of continuoustime nonlinear systems with uncertain parameters are presented in this paper. The methods employ functions of state-paramet...
101
click to vote
CLEF
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper presents a system that applies Textual Entailment recognition techniques to the AVE task. This is performed comparing representations of text snippets by means...
PASTE
2004
ACM
15 years 5 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
CLEF
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. We design and validate simulators for generating queries and relevance judgments for retrieval system evaluation. We develop a simulation framework that incorporates exis...
CLEF
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper describes the results of the INAOE’s answer validation system evaluated at the Spanish track of the AVE 2007. The system is based on a supervised learning ap...