𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Correctness of Goscinski′s Algorithm

✍ Scribed by R. Baldoni; B. Ciciani; G. Cioffi

Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
320 KB
Volume
27
Category
Article
ISSN
0743-7315

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A correction to the algorithm in reiter'
A correction to the algorithm in reiter's theory of diagnosis
✍ Russell Greiner; Barbara A. Smith; Ralph W. Wilkerson 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 453 KB

Reiter [3] has developed a general theory of diagnosis based on first principles. His algorithm computes all diagnoses which explain the differences between the predicted and observed behavior of a given system. Unfortunately, Reiter's description of the algorithm is incorrect in that some diagnoses

Typed ?-calculus at work: A correctness
Typed ?-calculus at work: A correctness proof of Jones's parallelisation transformation on concurrent objects
✍ Sangiorgi, Davide 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 118 KB

Cliff Jones has proposed transformations between concrete programs and general transformation rules that increase concurrency in a system of objects, and has raised the challenge of how to prove their validity. We present a proof of correctness of the hardest of Jones's concrete transformations. The

On the complexity of Rocchio's similarit
On the complexity of Rocchio's similarity-based relevance feedback algorithm
✍ Zhixiang Chen; Bin Fu 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 271 KB 👁 1 views

## Abstract Rocchio's similarity‐based relevance feedback algorithm, one of the most important query reformation methods in information retrieval, is essentially an adaptive learning algorithm from examples in searching for documents represented by a linear classifier. Despite its popularity in var

On the use of the Waterhouse correction
On the use of the Waterhouse correction
✍ S. Uosukainen 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 274 KB

The classical form of the Waterhouse correction, the purpose of which is to take account of the higher energy density near room boundaries, has been developed to an improved form, which is a function of room modal density. The Waterhouse correction can be determined for each room by measuring or cal