1641 search results - page 64 / 329 » Termination Analysis with Algorithmic Learning |
110
Voted
AAAI
2006
15 years 5 months ago
2006
A Machine Learning (ML) System known as ROAMS (Ranker for Open-Auto Maintenance Scheduling) was developed to create failure-susceptibility rankings for almost one thousand 13.8kV-...
150
Voted
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
Learning by human tutelage means that a human being guides the attention of a robot or agent in order to teach it a given concept. This kind of learning is very important to devel...
116
click to vote
FUIN
2008
15 years 3 months ago
2008
This paper is concerned with the universality problem for timed automata: given a timed automaton A, does A accept all timed words? Alur and Dill have shown that the universality p...
145
Voted
TIT
2002
15 years 3 months ago
2002
Generalization bounds depending on the margin of a classifier are a relatively recent development. They provide an explanation of the performance of state-of-the-art learning syste...
114
Voted
BIOCOMP
2008
15 years 5 months ago
2008
-- To successfully apply RNAi, the very first step is to design functional siRNA or shRNA sequences targeting specific genes. Many characteristics of functional synthetic siRNAs ha...