Sciweavers

2259 search results - page 149 / 452
» Machine Learning for Systems Biology
Sort
View
131
Voted
ECTEL
2007
Springer
15 years 10 months 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 10 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...
150
Voted
ECTEL
2009
Springer
15 years 9 months ago
The Conceptual and Architectural Design of a System Supporting Exploratory Learning of Mathematics Generalisation
Abstract. The MiGen project is designing and developing an intelligent, exploratory environment to support 11–14-year-old students in their learning of mathematical generalisatio...
Darren Pearce, Alexandra Poulovassilis
COLING
2008
15 years 6 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 4 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