Sciweavers

2790 search results - page 92 / 558
» A generative theory of relevance
Sort
View
ACL
2004
15 years 7 months ago
An Empirical Study of Information Synthesis Task
This paper describes an empirical study of the "Information Synthesis" task, defined as the process of (given a complex information need) extracting, organizing and inte...
Enrique Amigó, Julio Gonzalo, Víctor...
FAC
2008
108views more  FAC 2008»
15 years 6 months ago
Property-directed incremental invariant generation
Abstract. A fundamental method of analyzing a system such as a program or a circuit is invariance analysis, in which one proves that an assertion holds on all reachable states. Typ...
Aaron R. Bradley, Zohar Manna
AAAI
2010
15 years 7 months ago
Diversifying Query Suggestion Results
In order to improve the user search experience, Query Suggestion, a technique for generating alternative queries to Web users, has become an indispensable feature for commercial s...
Hao Ma, Michael R. Lyu, Irwin King
ICSE
2009
IEEE-ACM
16 years 1 months ago
Guided path exploration for regression test generation
Regression test generation aims at generating a test suite that can detect behavioral differences between the original and the modified versions of a program. Regression test gen...
Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan ...
AIED
2009
Springer
16 years 1 months ago
Generating Instruction Automatically for the Reading Strategy of Self-Questioning
Self-questioning is an important reading comprehension strategy, so it would be useful for an intelligent tutor to help students apply it to any given text. Our goal is to help chi...
Jack Mostow, Wei Chen