𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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


Combining non-parametric models with log
✍ Petra M. Kuhnert; Kim-Anh Do; Rod McClure 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 171 KB

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

Clutter reduction in synthetic aperture
✍ Sevket Demirci; Caner Ozdemir; Ali Akdagli; Enes Yigit 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 459 KB

## 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

Bayesian inference for the mover–stayer
✍ Denis Fougère; Thierry Kamionka 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 318 KB

## 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