𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Design of a recognition system to predict movement during anesthesia

✍ Scribed by Sharma, A.; Roy, R.J.


Book ID
114530278
Publisher
IEEE
Year
1997
Tongue
English
Weight
98 KB
Volume
44
Category
Article
ISSN
0018-9294

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A formal approach to the design of featu
✍ Mieczyslaw M. Kokar; Zbigniew Korona πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 270 KB

This paper shows an example of developing a fusion system in a formal framework, i.e., through the use of formal operators in the development process. Two main concepts of formal methods are theories and models. In our approach, the development of a fusion system consists of operations on theories a