Filters








30,492 Hits in 6.5 sec

Page 5209 of Mathematical Reviews Vol. , Issue 2002G [page]

2002 Mathematical Reviews  
(NL-DELFIT; Delft) Parametric real-time model checking using splitting trees. (English summary) Eleventh Nordic Workshop on Programming Theory (Uppsala, 1999). Nordic J.  ...  Summary: “This article discusses a new approach to model check- ing of real-time systems.  ... 

Prediction Based on Random Survival Forest

Shu Jiang
2019 American Journal of Biomedical Science & Research  
Tree estimation is in general based on recursively performing binary partitioning on the covariate space using some pre-defined splitting rule.  ...  In the setting with time-to-event data there are two splitting rules that are mostly adopted in growing survival trees: the log-rank splitting and log-rank score splitting.  ... 
doi:10.34297/ajbsr.2019.06.001005 fatcat:vrtvvyotijftlp7xc3yrgiaxrm

A Machine Learning Web Application to Estimate Listing Prices of South African Homes

Dane Bax, University of KwaZulu-Natal, Temesgen Zewotir, Delia North, University of KwaZulu-Natal
2020 Journal of African Real Estate Research  
Establishing realistic listing prices is vitally important for sellers to prevent prolonged time on market.  ...  Using data provided by a South African online property portal, this paper creates a web application using machine learning to estimate listing prices for different types of homes throughout South Africa  ...  Examining the residual diagnostic plots is vitally important for parametric models where the assumptions are checked.  ... 
doi:10.15641/jarer.v4i2.802 fatcat:43v3qez5cna2vlb33hr4wjxqcm

Parametric and non-parametric approaches to exits from fixed exchange rate regimes

Ahmet Atıl Aşıcı
2009 International Journal of Finance and Economics  
The paper employs Binary Recursive Tree and standard regression frameworks.  ...  An interesting finding is that the conventional strengths of parametric regression analysis can be dramatically improved by utilizing findings of non-parametric BRT technology.  ...  Robustness Checks a) EXIT Model EXIT Model tree grown with expanded dataset is below. Figure A.  ... 
doi:10.1002/ijfe.405 fatcat:uon7szo3cfhoxhhsq4ufvuzmyi

A Statistical Decision Tree Algorithm for Data Stream Classification
english

Mirela Teixeira Cazzolato, Marcela Xavier Ribeiro, Cristiane A. Yaguinuma, Marilde Terezinha Prado Santos
2013 Proceedings of the 15th International Conference on Enterprise Information Systems  
on statistics as a heuristic to decide when to split a node and also to choose the best attribute to be used in the test at a node.  ...  The obtained results indicate that ST is a good classifier using large and smaller datasets, maintaining good accuracy and execution time.  ...  At step 6 it is checked if sufficient examples were observed at that node, in order to try to split the node.  ... 
doi:10.5220/0004447202170223 dblp:conf/iceis/CazzolatoRYS13 fatcat:i6ycgcjoxbd3bgbkbvqqdzw3su

Transformation Forests [article]

Torsten Hothorn, Achim Zeileis
2018 arXiv   pre-print
The resulting models are fully parametric yet very general and allow broad inference procedures, such as the model-based bootstrap, to be applied in a straightforward way.  ...  A dedicated novel "transformation tree" algorithm able to detect distributional changes is developed.  ...  Your random forest version could perform better. 8 . 8 The way I understand your simulation setup is the following: You take real data sets, you fit each method, and then you use the parametric bootstrap  ... 
arXiv:1701.02110v2 fatcat:lk5yoyzsfzhvxpjslznb5gtd64

Fab forms

Maria Shugrina, Ariel Shamir, Wojciech Matusik
2015 ACM Transactions on Graphics  
All realized designs are functional and fabricable and can be previewed in real time. We automatically skin these representations with a Web customization UI intended for casual users.  ...  We evaluate our approach by converting several parametric models into corresponding Fab Forms.  ...  grateful to the authors of external libraries [OpenSCAD ; Shewchuk 1996; Carve CSG; Clipper; Pfaff and Thuerey 2013; Schulte et al. 2010; Museth 2013 ; Google; Zaphoyd Studios; jQuery Foundation; threejs] used  ... 
doi:10.1145/2766994 fatcat:otbixnxvmvhztnhzjou6e2yhkq

Is information and communication technology satisfying educational needs at school?

Simona Ferraro
2018 Computers & Education  
The problem of endogeneity that affects survey data in this area, is addressed by applying the Bayesian Additive Regression Trees (BART) methodology as in Cabras & Tena Tena Horrillo (2016).  ...  The result indicates that the use of ICT at school has a positive and strong impact on mathematic test scores. JEL Classification: I20, O33, C25  ...  A robustness check using the parametric model is also presented showing the effect of the treatment, on the sample of Italian students.  ... 
doi:10.1016/j.compedu.2018.04.002 fatcat:rzuc7dafi5g5fjswlyfvokglny

Incremental Tree-Based Missing Data Imputation with Lexicographic Ordering

Claudio Conversano, Roberta Siciliano
2009 Journal of Classification  
In particular, an incremental procedure based on the iterative use of a tree-based method is proposed and a suitable Incremental Imputation Algorithm is introduced.  ...  In the framework of data imputation, this paper provides a non-parametric approach to missing data imputation based on Information Retrieval.  ...  The idea is to consider a non-parametric approach such as tree-based modelling.  ... 
doi:10.1007/s00357-009-9038-8 fatcat:mvimpzef3rdwlbmiy3kkgoerhq

USE OF ENSEMBLE METHODS FOR SURVIVAL PREDICTION

Aslıhan ŞENTÜRK ACAR, Nihal ATA TUTKUN
2020 Mugla Journal of Science and Technology  
Cox regression model is used for modelling censored data to investigate the association between the survival time and covariates.  ...  In this study, Turkish breast cancer data set is used to compare the predictive performance of Cox regression model and ensemble machine learning methods.  ...  To avoid the increased efforts of model checking and model misspecification of parametric survival models, statisticians tend to prefer CRM [3] .  ... 
doi:10.22531/muglajsci.804566 fatcat:xrr3n7zivffbtj5jwpav6hc7da

Accounting for shared covariates in semi-parametric Bayesian additive regression trees [article]

Estevão B. Prado, Andrew C. Parnell, Keefe Murphy, Nathan McJames, Ann O'Shea, Rafael A. Moral
2022 arXiv   pre-print
We propose some extensions to semi-parametric models based on Bayesian additive regression trees (BART).  ...  This allows us to model complex interactions involving the covariates of primary interest, both among themselves and with those in the BART component.  ...  prior from SSP-BART, with age and glucose in both components, but without the double moves and stringent checks on tree-structure validity used in CSP-BART.  ... 
arXiv:2108.07636v6 fatcat:7mfwqlm7o5gshkrlxm26ph6eza

Computing parametric yield adaptively using local linear models

Mien Li, Linda Milar
1996 Proceedings of the 33rd annual conference on Design automation conference - DAC '96  
The resulting models are then used as cheap surrogates for circuit simulation in Monte Carlo estimation of the parametric yield. Examples indicate the eciency and accuracy of this approach.  ...  Local linear models are used because they are less sensitive to dimension than polynomial models. Moreover, the resulting model can be made to be more accurate in some regions compared to others.  ...  The resampling and checking data set are generated locally several times during modeling. The number of data used is 195, which i s v ery close to 200 in [7] .  ... 
doi:10.1145/240518.240674 dblp:conf/dac/LiM96 fatcat:pernsjpnuzeizfbalihynfnx7q

An Online Tree-Based Approach for Mining Non-Stationary High-Speed Data Streams

Agustín Alejandro Ortiz Díaz, Isvani Inocencio Frías Blanco, Laura María Palomino Mariño, Fabiano Baldo
2020 Revista de Informática Teórica e Aplicada  
In the tests it is possible to observe that the proposed algorithm is more competitive in terms of accuracy and model size using various synthetic and real world datasets.  ...  Therefore, the second method is used to split nodes more quickly, speeding up the tree growth.  ...  Non-parametric interval estimations are commonly favored because real data rarely follow well-known probability density functions.  ... 
doi:10.22456/2175-2745.90822 fatcat:ci57ibr3inbx3k4rky5vu73v4i

Symbolic Model-Checking Using ITS-Tools [chapter]

Yann Thierry-Mieg
2015 Lecture Notes in Computer Science  
Using model transformations to a Guarded Action Language (GAL) as intermediate format, ITS-tools can analyze third party (Uppaal, Spin, Divine...) specifications.  ...  We present verification toolset ITS-tools, featuring a symbolic modelchecking back-end engine based on hierarchical set decision diagrams (SDD) that supports reachability, CTL and LTL model-checking and  ...  Model-Checking Using the ITS API we have built several model-checking tools.  ... 
doi:10.1007/978-3-662-46681-0_20 fatcat:wuraebux5rguvm5k2gxdb2zpg4

Nowcasting in a Pandemic using Non-Parametric Mixed Frequency VARs [article]

Florian Huber, Gary Koop, Luca Onorante, Michael Pfarrhofer, Josef Schreiner
2020 arXiv   pre-print
This paper develops Bayesian econometric methods for posterior inference in non-parametric mixed frequency VARs using additive regression trees.  ...  We argue that regression tree models are ideally suited for macroeconomic nowcasting in the face of extreme observations, for instance those produced by the COVID-19 pandemic of 2020.  ...  For instance, to get to the leftmost terminal node involves checking one condition (one split), to get to the rightmost terminal node involves checking three conditions (three splits).  ... 
arXiv:2008.12706v3 fatcat:wcfnp4jhijbxln23vujeuhy4xy
« Previous Showing results 1 — 15 out of 30,492 results