486 search results - page 32 / 98 » What was the Query |
153
click to vote
CADE
2008
Springer
15 years 7 months ago
2008
Springer
Completion is a general paradigm for applying inferences to generate a canonical presentation of a logical theory, or to semi-decide the validity of theorems, or to answer queries....
170
click to vote
WWW
2010
ACM
15 years 12 months ago
2010
ACM
This paper is concerned with actively predicting search intent from user browsing behavior data. In recent years, great attention has been paid to predicting user search intent. H...
133
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss wha...
156
click to vote
FSMNLP
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Active language learning is an interesting task for which theoretical results are known and several applications exist. In order to better understand what the better stra...
165
click to vote
CLEF
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes the participation of MIRACLE research consortium at the Query Parsing task of GeoCLEF 2007. Our system is composed of three main modules. First, the Named Geo...