507 search results - page 63 / 102 » Generating Better Decision Trees |
POPL
2011
ACM
13 years 28 days ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
ICIP
2005
IEEE
14 years 11 months ago
2005
IEEE
In this paper, a supervised pixel-based classifier approach for segmenting different anatomical regions in abdominal Computed Tomography (CT) studies is presented. The approach co...
RECOMB
2009
Springer
14 years 10 months ago
2009
Springer
Phylogenetic Bootstrapping (BS) is a standard technique for inferring confidence values on phylogenetic trees that is based on reconstructing many trees from minor variations of th...
BMCBI
2005
13 years 10 months ago
2005
Background: Multiple genome alignment is an important problem in bioinformatics. An important subproblem used by many multiple alignment approaches is that of aligning two multipl...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
The Call admission control (CAC) is one of the Radio Resource Management (RRM) techniques that plays influential role in ensuring the desired Quality of Service (QoS) to the users...