15372 search results - page 2848 / 3075 » The Semantics of Semantic Annotation |
99
Voted
CORR
2011
Springer
14 years 7 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...
137
Voted
CORR
2011
Springer
14 years 7 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...
116
click to vote
CORR
2011
Springer
14 years 7 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...
97
Voted
COLING
2010
14 years 7 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...
105
Voted
COMPSAC
2010
IEEE
14 years 7 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...