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

The challenges of real-time AI

โœ Scribed by Musliner, D.J.; Hendler, J.A.; Agrawala, A.K.; Durfee, E.H.; Strosnider, J.K.; Paul, C.J.


Book ID
114545394
Publisher
IEEE
Year
1995
Tongue
English
Weight
1011 KB
Volume
28
Category
Article
ISSN
0018-9162

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Real-time continuous AI systems
โœ Bennett, M.E. ๐Ÿ“‚ Article ๐Ÿ“… 1987 ๐Ÿ› The Institution of Electrical Engineers โš– 926 KB
The real AI
โœ THORPE, DARRELL H. ๐Ÿ“‚ Article ๐Ÿ“… 1976 ๐Ÿ› Nature Publishing Group ๐ŸŒ English โš– 122 KB
Top-down design of embedded real-time AI
โœ J. Hooman ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› Elsevier Science โš– 568 KB

A formal method is proposed for the specification and verification of embedded real-time systems. We consider distributed systems in whichparallel processes communicate by sending messages along synchronous or asynchronous channels. To verify that a program satisfies a specification, a compositional

Real-time fMRI neurofeedback: Progress a
โœ Sulzer, J.; Haller, S.; Scharnowski, F.; Weiskopf, N.; Birbaumer, N.; Blefari, M ๐Ÿ“‚ Article ๐Ÿ“… 2013 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 449 KB