𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Computing with words in formal methods

✍ Scribed by Tuan D. Pham

Publisher
John Wiley and Sons
Year
2000
Tongue
English
Weight
108 KB
Volume
15
Category
Article
ISSN
0884-8173

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Rejoinder: In defense of formal methods
Rejoinder: In defense of formal methods
✍ Per Ahlgren; Bo Jarneving; Ronald Rousseau πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 49 KB πŸ‘ 1 views
On computing the number of code words wi
On computing the number of code words with minimum weight for cyclic codes
✍ Masami Mohri; Masakatsu Morii πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 264 KB πŸ‘ 2 views

The weight distribution is an important parameter that determines the performance of a code. The minimum distance and the number of corresponding codes that can be derived from the weight distribution, greatly affect the performance of the code. The decoding error probability and other performance m

PNPACK: Computing with probabilities in
PNPACK: Computing with probabilities in Java
✍ Russell, Stuart; Stiller, Lewis; Hansson, Othar πŸ“‚ Article πŸ“… 1997 πŸ› John Wiley and Sons 🌐 English βš– 71 KB πŸ‘ 2 views

This paper outlines several benefits and disadvantages of Java as the implementation language for a probabilistic inference package. Our focus is the linguistic features that make Java appropriate or inappropriate for this task.

Computational methods in protein structu
Computational methods in protein structure prediction
✍ C.A. Floudas πŸ“‚ Article πŸ“… 2007 πŸ› John Wiley and Sons 🌐 English βš– 210 KB πŸ‘ 1 views

## Abstract This review presents the advances in protein structure prediction from the computational methods perspective. The approaches are classified into four major categories: comparative modeling, fold recognition, first principles methods that employ database information, and first principles