15372 search results - page 2848 / 3075 » The Semantics of Semantic Annotation |
133
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a...
175
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Query expansion is a functionality of search engines that suggests a set of related queries for a user-issued keyword query. Typical corpus-driven keyword query expansion approach...
149
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
The MapReduce distributed programming framework has become popular, despite evidence that current implementations are inefficient, requiring far more hardware than a traditional r...
130
Voted
COLING
2010
14 years 11 months ago
2010
Online learning calls for instant assessment and feedback. YanFa is a system developed to score online EnglishChinese translation exercises with intelligent feedback for Chinese n...
133
click to vote
COMPSAC
2010
IEEE
14 years 11 months ago
2010
IEEE
With the rapid development of model-driven engineering (MDE), domain-specific modeling has become a widely used software development technique. In MDE, metamodels represent a schem...