6704 search results - page 946 / 1341 » Testing Scenario-Based Models |
260
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
156
Voted
SECON
2010
IEEE
15 years 2 months ago
2010
IEEE
The predictable trajectory of underwater gliders can be used in geographic routing protocols. Factors such as drifting and localization errors cause uncertainty when estimating a g...
114
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Dialogue interaction between customers and products improves presentation of relevant product information in in-store shopping situations. Thus, information needs of cust...
174
click to vote
WEBI
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we propose a Relation Expansion framework, which uses a few seed sentences marked up with two entities to expand a set of sentences containing target relations. Duri...
123
click to vote
ACL
2009
15 years 2 months ago
2009
This paper presents DEPEVAL(summ), a dependency-based metric for automatic evaluation of summaries. Using a reranking parser and a Lexical-Functional Grammar (LFG) annotation, we ...