𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Symbolic decision procedure for termination of linear programs

✍ Scribed by Bican Xia; Lu Yang; Naijun Zhan; Zhihai Zhang


Publisher
Springer
Year
2009
Tongue
English
Weight
293 KB
Volume
23
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Symbolic programs for structural identif
✍ Randall C Manaka; Alan Schumitzky; Walter Wolf πŸ“‚ Article πŸ“… 1981 πŸ› Elsevier Science βš– 614 KB

Most parameter estimation techniques implicitly assume that it is possible to determine the parameters of the system uniquely if there were no noise in the output. In practice, this is not always the case. Whether or not this assumption is true for a given input-output experiment is the problem of s