Sciweavers

2912 search results - page 83 / 583
» Logistic Model Trees
Sort
View
VRST
2003
ACM
15 years 6 months ago
Interactive modeling of trees by using growth simulation
We propose a real-time interactive system that enables users to generate, manipulate and edit the shape model of a tree based on growth simulation by directly indicating its globa...
Katsuhiko Onishi, Shoichi Hasuike, Yoshifumi Kitam...
97
Voted
MCS
2002
Springer
15 years 11 days ago
Stacking with Multi-response Model Trees
We empirically evaluate several state-of-the-art methods for constructing ensembles of classifiers with stacking and show that they perform (at best) comparably to selecting the be...
Saso Dzeroski, Bernard Zenko
120
Voted
HASE
2007
IEEE
15 years 7 months ago
Integrating Product-Line Fault Tree Analysis into AADL Models
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
Hongyu Sun, Miriam Hauptman, Robyn R. Lutz
80
Voted
TACAS
2007
Springer
116views Algorithms» more  TACAS 2007»
15 years 6 months ago
Model Checking on Trees with Path Equivalences
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
Rajeev Alur, Pavol Cerný, Swarat Chaudhuri
104
Voted
ICDCN
2009
Springer
15 years 7 months ago
Compact Routing Schemes for Dynamic Trees in the Fixed Port Model
Abstract. The current paper considers the routing problem in dynamic trees under the fixed-port model, in which an adversary chooses the port numbers assigned to each node. We pre...
Amos Korman