Sciweavers

2438 search results - page 163 / 488
» Incremental Learning in Biological and Machine Learning Syst...
Sort
View
ICFEM
2004
Springer
15 years 9 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...
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
ICMLA
2008
15 years 5 months ago
Ensemble Machine Methods for DNA Binding
We introduce three ensemble machine learning methods for analysis of biological DNA binding by transcription factors (TFs). The goal is to identify both TF target genes and their ...
Yue Fan, Mark A. Kon, Charles DeLisi
ICML
2009
IEEE
16 years 5 months ago
Dynamic mixed membership blockmodel for evolving networks
In a dynamic social or biological environment, interactions between the underlying actors can undergo large and systematic changes. Each actor can assume multiple roles and their ...
Wenjie Fu, Le Song, Eric P. Xing
ICML
2004
IEEE
16 years 5 months ago
A maximum entropy approach to species distribution modeling
We study the problem of modeling species geographic distributions, a critical problem in conservation biology. We propose the use of maximum-entropy techniques for this problem, s...
Miroslav Dudík, Robert E. Schapire, Steven ...