| Your search for 38244 returns 5631 document(s) |
| The refinements and the stability of hoare logic, (LNCS-Lecture Notes in Computer Science 131)Hal. 24-36 |
|
Author: J.A. Berostra; J. V. Tucker; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hoare's logic incomplete when it does not have to be, (LNCS-Lecture Notes in Computer Science 131) Hal. 9-23 |
|
Author: J. Bergstra; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Calculus of strochastic systems for the specification, simulation, and hidden state estimation of hybrid stochastic/non-stochastic systems, (LNCS-Lecture Notes in Computer Science 999)Hal. 21-63 |
|
Author: Albert Benveniste; Bernard C. Levy; Eric Fabre; Paul Le Guernic; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Mixed Facial Emotion Recognition Using Active Appearance Model And Hidden Conditional Random Fields |
|
Author: Dewi Yanti Liliana
T. Basaruddin
M.Rahmat Widyanto; | Call Number: Mak Dis Jilid 1-5 (Dis-73) (Mak Dis-1B) | Type: Makalah Disertasi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Statistical methods for speech recognition |
|
Author: Jelinek, Frederick; | Call Number: 006.454 Jel s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Speech recognition: the future now |
|
Author: Korner, Michael; | Call Number: 006.454 Kor s | Type: Softcopy Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using speech recognition |
|
Author: Markowitz, Judith A.; | Call Number: 006.454 Mar u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fundamentals of speech recognition |
|
Author: Rabiner, Lawrence; | Call Number: 006.454 Rab f | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 2-D Face Recognition System Using Cylindrical-Hidden Layer Neural Networks and Its Optimization Through Genetic Algorithms (118-123) |
|
Author: Benyamin Kusumoputro; | Call Number: SEM-306 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Dynamic scheduling on a network heterogenous computer system, (LNCS-Lecture Notes in Computer Science 1557) Hal 584-585 |
|
Author: Janez Brest; Viljem Zumer; Milan Ojstersek; | Call Number: 004.35 Par | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result