13476 search results - page 222 / 2696 » Learning from Streams |
172
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...
162
click to vote
JALC
2007
15 years 6 months ago
2007
Inspired by the results obtained in the string case, we present in this paper the extension of the correction queries to regular tree languages. Relying on Angluin’s and Sakakib...
214
click to vote
CANDC
2005
ACM
15 years 6 months ago
2005
ACM
A DNA microarray can track the expression levels of thousands of genes simultaneously. Previous research has demonstrated that this technology can be useful in the classification ...
150
click to vote
IJCIS
2000
15 years 6 months ago
2000
Ontobroker applies Artificial Intelligence techniques to improve access to heterogeneous, distributed and semistructured information sources as they are presented in the World Wid...
186
click to vote
IJMI
2002
15 years 6 months ago
2002
: Much of knowledge modeling in the molecular biology domain involves interactions between proteins, genes, various forms of RNA, small molecules, etc. Interactions between these s...