2382 search results - page 73 / 477 » Generating Seeded Trees from Data Sets |
136
click to vote
ITP
2010
15 years 8 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
111
click to vote
ITICSE
2009
ACM
15 years 10 months ago
2009
ACM
The topic of data structures has historically been taught with two major focuses: first, the basic definition and implementation of a small set of basic data structures (e.g. list...
146
click to vote
DAWAK
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. There is an urgent need for sound approaches to integrative and collaborative analysis of large, autonomous (and hence, inevitably semantically heterogeneous) data source...
145
click to vote
ILP
2003
Springer
15 years 9 months ago
2003
Springer
We describe an efficient implementation (MRDTL-2) of the Multi-relational decision tree learning (MRDTL) algorithm [23] which in turn was based on a proposal by Knobbe et al. [19] ...
194
click to vote
KELSI
2004
Springer
15 years 9 months ago
2004
Springer
There is an overwhelming increase in submissions to genomic databases, posing a problem for database maintenance, especially regarding annotation of fields left blank during submi...