| Title:
|
On extremum-searching approximate probabilistic algorithms (English) |
| Author:
|
Kramosil, Ivan |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
19 |
| Issue:
|
5 |
| Year:
|
1983 |
| Pages:
|
365-373 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03D15 |
| MSC:
|
03D20 |
| MSC:
|
41A99 |
| MSC:
|
65C05 |
| MSC:
|
65D99 |
| MSC:
|
68Q25 |
| idZBL:
|
Zbl 0543.03029 |
| idMR:
|
MR729029 |
| . |
| Date available:
|
2009-09-24T17:36:00Z |
| Last updated:
|
2012-06-05 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/125786 |
| . |
| Reference:
|
[1] A. V. Aho J. E. Hopcroft, J. D. Ullman: The Design and Analysis of Computer Algorithms.Reading, Addison-Wesley, London 1974 (Russian translation: Mir, Moscow 1978). MR 0413592 |
| Reference:
|
[2] M. O. Rabin: Probabilistic algorithms.In: Proceedings of the Symposium 1976, Carnegie-Mellon Univ., Pittsburgh, Academic Press, New York 1976, pp. 21 - 39. Zbl 0384.60001, MR 0464678 |
| Reference:
|
[3] I. Kramosil: Statistical verification procedures for propositional calculus.Computers and Artificial Intelligence 2 (1983), 3, 235-258. Zbl 0529.68066 |
| . |
