Sciweavers

4914 search results - page 975 / 983
» Arbitration of a help system
Sort
View
IJWET
2010
104views more  IJWET 2010»
14 years 8 months ago
Configurable meta-search in the job domain
: To aid job seekers searching for job vacancies, we have developed a new configurable meta-search engine for the human resources domain. In this paper we describe the three main c...
Tabbasum Naz, Jürgen Dorn, Alexandra Poulovas...
NLE
2010
127views more  NLE 2010»
14 years 7 months ago
Class-based approach to disambiguating Levin verbs
Lapata and Brew (2004) (hereafter LB04) obtain from untagged texts a statistical prior model that is able to generate class preferences for ambiguous Levin (1993) verbs (hereafter...
Jianguo Li, Chris Brew
OOPSLA
2010
Springer
14 years 7 months ago
Managing ambiguity in programming by finding unambiguous examples
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming env...
Kenneth C. Arnold, Henry Lieberman
PVLDB
2010
191views more  PVLDB 2010»
14 years 7 months ago
SnipSuggest: Context-Aware Autocompletion for SQL
In this paper, we present SnipSuggest, a system that provides onthe-go, context-aware assistance in the SQL composition process. SnipSuggest aims to help the increasing population...
Nodira Khoussainova, YongChul Kwon, Magdalena Bala...
83
Voted
SAS
2010
Springer
121views Formal Methods» more  SAS 2010»
14 years 7 months ago
Alternation for Termination
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
William R. Harris, Akash Lal, Aditya V. Nori, Srir...