scholarly journals Witnessing Subsystems for Probabilistic Systems with Low Tree Width

2021 ◽  
Vol 346 ◽  
pp. 35-51
Author(s):  
Simon Jantsch ◽  
Jakob Piribauer ◽  
Christel Baier
Keyword(s):  
Probabilistic Systems ◽  
Tree Width

Prediction of multivariate probabilistic systems based on predictive state representation

2013 ◽  
Vol 32 (11) ◽  
pp. 3044-3046
Author(s):  
Qing-miao WANG ◽  
Shi-guang JU
Keyword(s):  
State Representation ◽  
Probabilistic Systems ◽  
Predictive State Representation

Abstraction and refinement in probabilistic systems

2005 ◽  
Vol 32 (4) ◽  
pp. 41-47 ◽  
Author(s):  
Annabelle McIver ◽  
Carroll Morgan
Keyword(s):  
Probabilistic Systems

scholarly journals Three-Dimensional Morphological Measurement Method for a Fruit Tree Canopy Based on Kinect Sensor Self-Calibration

Agronomy ◽  
2019 ◽  
Vol 9 (11) ◽  
pp. 741 ◽  
Author(s):  
Haihui Yang ◽  
Xiaochan Wang ◽  
Guoxiang Sun
Keyword(s):  
Intelligent Control ◽  
Point Cloud ◽  
Three Dimensional ◽  
Fruit Tree ◽  
Tree Canopy ◽  
Morphological Parameters ◽  
Kinect Sensor ◽  
Self Calibration ◽  
Morphological Measurement ◽  
Tree Width

Perception of the fruit tree canopy is a vital technology for the intelligent control of a modern standardized orchard. Due to the complex three-dimensional (3D) structure of the fruit tree canopy, morphological parameters extracted from two-dimensional (2D) or single-perspective 3D images are not comprehensive enough. Three-dimensional information from different perspectives must be combined in order to perceive the canopy information efficiently and accurately in complex orchard field environment. The algorithms used for the registration and fusion of data from different perspectives and the subsequent extraction of fruit tree canopy related parameters are the keys to the problem. This study proposed a 3D morphological measurement method for a fruit tree canopy based on Kinect sensor self-calibration, including 3D point cloud generation, point cloud registration and canopy information extraction of apple tree canopy. Using 32 apple trees (Yanfu 3 variety) morphological parameters of the height (H), maximum canopy width (W) and canopy thickness (D) were calculated. The accuracy and applicability of this method for extraction of morphological parameters were statistically analyzed. The results showed that, on both sides of the fruit trees, the average relative error (ARE) values of the morphological parameters including the fruit tree height (H), maximum tree width (W) and canopy thickness (D) between the calculated values and measured values were 3.8%, 12.7% and 5.0%, respectively, under the V1 mode; the ARE values under the V2 mode were 3.3%, 9.5% and 4.9%, respectively; and the ARE values under the V1 and V2 merged mode were 2.5%, 3.6% and 3.2%, respectively. The measurement accuracy of the tree width (W) under the double visual angle mode had a significant advantage over that under the single visual angle mode. The 3D point cloud reconstruction method based on Kinect self-calibration proposed in this study has high precision and stable performance, and the auxiliary calibration objects are readily portable and easy to install. It can be applied to different experimental scenes to extract 3D information of fruit tree canopies and has important implications to achieve the intelligent control of standardized orchards.

scholarly journals A menger-like property of tree-width: The finite case

1990 ◽  
Vol 48 (1) ◽  
pp. 67-76 ◽  
Author(s):  
Robin Thomas
Keyword(s):  
Finite Case ◽  
Tree Width

scholarly journals Branching bisimulation congruence for probabilistic systems

2012 ◽  
Vol 413 (1) ◽  
pp. 58-72 ◽  
Author(s):  
Suzana Andova ◽  
Sonja Georgievska ◽  
Nikola Trčka
Keyword(s):  
Probabilistic Systems ◽  
Branching Bisimulation

Symbolic Bisimulations for Probabilistic Systems

2007 ◽  
Author(s):  
Peng Wu ◽  
Catuscia Palamidessi ◽  
Huimin Lin
Keyword(s):  
Probabilistic Systems

scholarly journals Two Short Proofs Concerning Tree-Decompositions

2002 ◽  
Vol 11 (6) ◽  
pp. 541-547 ◽  
Author(s):  
PATRICK BELLENBAUM ◽  
REINHARD DIESTEL
Keyword(s):  
Duality Theorem ◽  
Finite Graph ◽  
Tree Decomposition ◽  
Tree Width ◽  
Tree Decompositions

We give short proofs of the following two results: Thomas's theorem that every finite graph has a linked tree-decomposition of width no greater than its tree-width; and the ‘tree-width duality theorem’ of Seymour and Thomas, that the tree-width of a finite graph is exactly one less than the largest order of its brambles.

Width Parameters Beyond Tree-width and their Applications

2007 ◽  
Vol 51 (3) ◽  
pp. 326-362 ◽  
Author(s):  
P. Hlineny ◽  
S.-i. Oum ◽  
D. Seese ◽  
G. Gottlob
Keyword(s):  
Tree Width
Sign in / Sign up

Export Citation Format

Share Document