Sciweavers

2912 search results - page 83 / 583
» Logistic Model Trees
Sort
View
VRST
2003
ACM
15 years 7 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...
115
Voted
MCS
2002
Springer
15 years 2 months 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
HASE
2007
IEEE
15 years 9 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
98
Voted
TACAS
2007
Springer
116views Algorithms» more  TACAS 2007»
15 years 8 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
123
Voted
ICDCN
2009
Springer
15 years 9 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