Model checking hybrid logics (with an application to semistructured data)
✍ Scribed by Massimo Franceschet; Maarten de Rijke
- Publisher
- Elsevier Science
- Year
- 2006
- Tongue
- English
- Weight
- 259 KB
- Volume
- 4
- Category
- Article
- ISSN
- 1570-8683
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
To date, computer-intensive non-parametric modelling procedures such as classiÿcation and regression trees (CART) and multivariate adaptive regression splines (MARS) have rarely been used in the analysis of epidemiological studies. Most published studies focus on techniques such as logistic regressi
## Abstract In this article, an application of clutter modeling and reduction techniques to synthetic aperture radar (SAR) images of moving and stationary target acquisition and recognition data is presented. Statistical modeling of the clutter signal within these particular SAR images is demonstra
## Abstract This paper presents Bayesian inference procedures for the continuous time mover–stayer model applied to labour market transition data collected in discrete time. These methods allow us to derive the probability of embeddability of the discrete‐time modelling with the continuous‐time one