| Your search for 37177 returns 1768 document(s) |
| Scaling up uppaal automatic verification of real-time systems using compositionality and abstraction, (LNCS-Lecture Notes in Computer Science 1926) Hal 19-30 |
|
Author: Henrik Ejersbo Jensen; Kim Guldstrand Larsen; Arne Skou; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An Automatic Detection Method fo High Density Slums based on Regularity Pattern of Housing Using Gabor Filter and GINI Index (347-352) |
|
Author: Nursidik Heru Praptono
Pahala Sirait
M. Ivan Fanany
Aniati Murni Arymurthy; | Call Number: SEM-319 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Ontology Based Categorization in eGovernment Application (1153-1160) |
|
Author: Claude Moulin
Fathia Bettahar
Jean-Paul Barthes
Marco Luca Sbodio; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Texture-based approach for text detection in images using support vector machines and continuously adaptive mean shift algorithm, page 1631 |
|
Author: KI KIM | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Evaluation of text - to-speech synthesizer for Indonesian language using semantically unpredictable senteces test: IndoTTS, eSpeak, and Google Translate TTS, Hal. 237-242 |
|
Author: Nur Aziza Azis, Rose Mauliiyatul Hikmah; Teresa Vania Tjahja, Anto Satriyo Nugroho; | Call Number: SEM-301 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Generalized inverse matrices/ Thomas L. Boullions |
|
Author: Boullion, Thomas L.; | Call Number: 512.943 4 Bou g | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Answer set solving in practice |
|
Call Number: 006.3 Ans | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Theory of set/ E. Kamke |
|
Author: Kamke, E.; | Call Number: 510.322 Kam e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| text processing |
|
Author: Day, A. Colin; | Call Number: 005 Day t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Instance selection for training of intelligent network based on fast condensed nearest neigbbor rule, Hal. 3394-3398 |
|
Author: Ali Abroudi, Fardad Farokhi; Fateme Zahedi; | Call Number: SEM-302 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result