| Your search for 52220 returns 88 document(s) |
| Machine Learning and Computational Learnig: Learning Functions Represented as Multiplicity Automata |
|
Author: A. Beimel, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic in Computer Science: An Automata-Theoretic Approach to Branching-Time Model Checking |
|
Author: O. Kupferman, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Context model automata (CMA) pada prediction by partial match (PPM) untuk kompresi teks |
|
Author: Rini Indriani, Fahren Bukhari dan Aziz Kustiyo | Call Number: JIKT-5-1-Mei2005-25 | Type: UI-ana Indek Artikel
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Classification of forest fire spreading model based on cellular automata approach |
|
Author: Zuhdi, Ahmad; Murni, Aniati | Call Number: Pub.Staf PN-0006 | Type: Prosiding Nasional
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hyperdocuments as automata: verification of trace based browsing properties, page 1 |
|
Author: P. David s. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Classification of forest fire spreading model based on cellular automata approach, Hal. 38-42 |
|
Author: Ahmad Zuhdi; Aniati Murni; | Call Number: SEM-276 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Specifying timed state sequences in powerful decidable logics and timed automata, Hal. 69-80 |
|
Author: Thomas Wilke; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Cellular automata and complex dynamics of driven elastic media, Hal. 187-192 |
|
Author: S.N. Coppersmith; P.B. Littlewood; P. Sibani; | Call Number: SEM-229 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the power of finite automata with both nondeterministic and probabilistic states(Preliminary Version),Hal 676-685 |
|
Author: Anne Condon; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Robust timed automata, (LNCS-Lecture Notes in Computer Science 1201) Hal 331-345 |
|
Author: Vineet Gupta; Thomas A. Henzinger; Radha Jagadeesan; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result