Search Sciweavers | Sciweavers

5699 search results - page 121 / 1140

» Alternating model trees

139

click to vote

APLAS
2010
ACM

159views Programming Languages» more APLAS 2010»

Verification of Tree-Processing Programs via Higher-Order Model Checking

15 years 4 months ago

Download www.kb.ecei.tohoku.ac.jp

Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...

Hiroshi Unno, Naoshi Tabuchi, Naoki Kobayashi

claim paper

Read More »

click to vote

CORR
2010
Springer

67views Education» more CORR 2010»

Learning Latent Tree Graphical Models

15 years 4 months ago

Download www.mit.edu

Myung Jin Choi, Vincent Y. F. Tan, Animashree Anan...

claim paper

Read More »

click to vote

CSDA
2010

74views more CSDA 2010»

The Bayesian Additive Classification Tree applied to credit risk modelling

15 years 4 months ago

Download edoc.hu-berlin.de

Junni L. Zhang, Wolfgang K. Härdle

claim paper

Read More »

click to vote

BIOINFORMATICS
2006

78views more BIOINFORMATICS 2006»

A bi-dimensional regression tree approach to the modeling of gene expression regulation

15 years 4 months ago

Download www.cs.utsa.edu

Jianhua Ruan, Weixiong Zhang

claim paper

Read More »

click to vote

DPD
2006

83views more DPD 2006»

Incremental click-stream tree model: Learning from new users for web page prediction

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers