Sciweavers

3892 search results - page 253 / 779
» Machine Learning for Intelligent Systems
Sort
View
AIED
2005
Springer
16 years 5 days ago
Automatic Textual Feedback for Guided Inquiry Learning
We briefly introduce the online learning environment INFACT, and then we describe its textual feedback system. The system automatically provides written comments to students as the...
Steven L. Tanimoto, Susan Hubbard, William Winn
ECTEL
2007
Springer
16 years 24 days ago
Profiled Search Methods for e-Learning Systems
Most currently used e-Learning Systems do not often offer search functionality. Even if methods are provided to search for Learning Objects (LOs), they don’t usually utilize info...
Tomasz Orzechowski, Sebastian Ernst, Andrzej Dziec...
ICFEM
2004
Springer
15 years 12 months ago
Learning to Verify Safety Properties
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gu...
COLING
2008
15 years 8 months ago
Linguistically Annotated BTG for Statistical Machine Translation
Bracketing Transduction Grammar (BTG) is a natural choice for effective integration of desired linguistic knowledge into statistical machine translation (SMT). In this paper, we p...
Deyi Xiong, Min Zhang, AiTi Aw, Haizhou Li
NECO
2000
86views more  NECO 2000»
15 years 6 months ago
A Bayesian Committee Machine
The Bayesian committee machine (BCM) is a novel approach to combining estimators which were trained on different data sets. Although the BCM can be applied to the combination of a...
Volker Tresp