1667 search results - page 32 / 334 » Extended clause learning |
ECTEL
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Current e-learning standards have been designed to provide reusability of educational contents and interoperability between systems. Besides these features, content perso...
COLING
2010
13 years 2 months ago
2010
This paper studies two methods for training hierarchical MT rules independently of word alignments. Bilingual chart parsing and EM algorithm are used to train bitext correspondenc...
IWFM
1998
13 years 9 months ago
1998
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...
JSAT
2006
13 years 7 months ago
2006
This paper introduces a new hybrid method for efficiently integrating Pseudo-Boolean (PB) constraints into generic SAT solvers in order to solve PB satisfiability and optimization...
AGI
2011
12 years 11 months ago
2011
This paper presents an integrated modeling framework where the learning and knowledge retrieval mechanisms of the ACT-R cognitive architecture are combined with a semantic resource...