๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

On the validity of a reduction of reliable network design to a graph extremal problem

โœ Scribed by Bauer, D.; Boesch, F.; Suffel, C.; Van Slyke, R.

Book ID
114614119
Publisher
IEEE
Year
1987
Weight
395 KB
Volume
34
Category
Article
ISSN
0098-4094

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

On the validation and verification of pr
On the validation and verification of production systems: a graph reduction approach
โœ Stephen Murrell; Robert Plant ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 294 KB

This paper takes a parallel processing approach to the implementation of rule-based systems using a graph-reduction architecture , and investigates the consequences of this architecture in relation to the validation and verification of knowledge-based systems . The paper improves on the traditional