3031 search results - page 419 / 607 » Model Driven Testing Based on Test History |
194
click to vote
CAINE
2010
15 years 1 months ago
2010
The ability for humans to understand and process the emotional content of speech is unsurpassed by simulated intelligent agents. Beyond the linguistic content of speech are the un...
110
Voted
ICIP
2010
IEEE
15 years 1 months ago
2010
IEEE
As digital images have been propagated all over the world, identification techniques for image sources become more important. In this paper, we analyze properties of the scanner a...
226
click to vote
LPAR
2010
Springer
15 years 1 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...
161
Voted
WEBI
2010
Springer
15 years 1 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...
131
Voted
EMNLP
2009
15 years 1 months ago
2009
In this paper, we first compare several strategies to handle the newly proposed three-way Recognizing Textual Entailment (RTE) task. Then we define a new measurement for a pair of...