𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Service matchmaking revisited: An approach based on model checking

✍ Scribed by Akın Günay; Pınar Yolum


Publisher
Elsevier Science
Year
2010
Tongue
English
Weight
775 KB
Volume
8
Category
Article
ISSN
1570-8268

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


A tiered model of psychogeriatric servic
✍ Brian Draper; Henry Brodaty; Lee-Fay Low 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 115 KB

## Background: Previous models of mental health care for older persons have not considered the full spectrum of mental disorders. ## Aim: To describe a tiered model for comprehensive evidence-based planning of service delivery for mental disorders in late life. ## Method: The model depicts tier

An approach to modeling climate based on
✍ Peter B. Wright 📂 Article 📅 1980 🏛 Springer 🌐 English ⚖ 752 KB

Feedback occurs between many components of the climate system, and makes the study of climate very difficult. A modeling approach is presented in which feedbacks are represented specifically. Analysis of very simple models shows how feedback between two components affects their behavior; positive fe

Predicting the utilization of helicopter
✍ Kenneth J Rhee; Richard E Burney; James R Mackenzie; Jarius Flora 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 761 KB

Accurately predicting the utilization of helicopter emergency medical services is critical to both resource allocation and fiscal integrity, and health planning agencies may insist that the need for such services be demonstrated before the system can become operational. Most utilization predictions

An error correction approach based on ma
✍ Tadashi Yonezaki; Koji Yoshida; Toshio Yagi; Kiyohiro Shikano 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 306 KB 👁 1 views

## Abstract This paper proposes an error‐correction algorithm for channel error using the hidden Markov model (HMM). The proposed method uses two probabilities calculated by the information source model (HMM) and the channel model, under the constraint of the received code sequence, and estimates t