Sciweavers

1667 search results - page 32 / 334
» Extended clause learning
Sort
View
122
Voted
ECTEL
2006
Springer
15 years 6 months ago
Extending SCORM to Create Adaptive Courses
Abstract. Current e-learning standards have been designed to provide reusability of educational contents and interoperability between systems. Besides these features, content perso...
Marta Rey-López, Ana Fernández Vilas...
COLING
2010
14 years 9 months ago
Two Methods for Extending Hierarchical Rules from the Bilingual Chart Parsing
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...
Martin Cmejrek, Bowen Zhou
113
Voted
IWFM
1998
134views Formal Methods» more  IWFM 1998»
15 years 3 months ago
Facilitating Modular Property-Preserving Extensions of Programming Languages
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 ...
Claus Pahl
147
Voted
JSAT
2006
134views more  JSAT 2006»
15 years 2 months ago
Pueblo: A Hybrid Pseudo-Boolean SAT Solver
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...
Hossein M. Sheini, Karem A. Sakallah
151
Voted
AGI
2011
14 years 6 months ago
Extending Cognitive Architectures with Semantic Resources
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...
Alessandro Oltramari, Christian Lebiere