| Your search for 19067 returns 3936 document(s) |
| Combining proof-search and conter-model construction for dciding godel-dummett logic, Hal. 94-110 |
|
Author: Dominique Larchey-Wendling; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Autobayes/CC-combining programm synthesis with automatic code certification - system description, Hal. 200- 294 |
|
Author: Michael Whalen, Johann Schumann; Bernard Fisher; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modeling and combining evidence provided document Relationship using probabilistic argumentation systems, Hal. 182-189 |
|
Author: Justin Picard; | Call Number: SEM-150 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analysis resource aware framework by combining sunspot and imote2 platform wireless sensor networks using distance vector algorithm |
|
Author: Muhammad Ilyas Syarif, Andi Wawan Indrawan, Jumadi M. Parenreng, Supeno Djanali, and Ary Masharuddin Shiddiqi | Call Number: JURNAL ILMU KOMPUTER DAN INFORMASI, Vol. 5 No. 2 June 2012 | Type: UI-ana Indek Artikel
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On combining formal and informal verification, (LNCS-Lecture Notes in Computer Science 1254) Hal 376-387 |
|
Author: Jun Yuan; Jian Shen; Jacob Abraham; Adnan Aziz; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On combining formal and informal verification, (LNCS-Lecture Notes in Computer Science 1254)Hal. 376-387 |
|
Author: Jun Yuan; Jian Shen; Jacob Abraham; Adnan Azis; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Combining social cognitive theories with linguistic features for multi-genre sentiment analysis (hal 127 - 136) |
|
Author: Hao Li, Yu Chen, Heng Ji , Smaranda Muresan, Dequan Zheng; | Call Number: SEM-308 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Urban Area change detection with combining CNN and RNN from sentinel-2 multispectral remote sensing data |
|
Author: Uus Khusni; Hedito Ibnu Dewangkoro; Aniati Murni Arymuryhy; | Call Number: Mak T Jilid 121-139 (T-1327) (Mak T-125) | Type: Makalah Tesis
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Effectiveness of Combining Learning Rules and Analogy in Semantic Analysis for Japanese Unknown Sentences (35-40) |
|
Author: H. Shibuki
Y. Momouchi
K. Araki
K. Tochinai; | Call Number: SEM-306 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Hybrid genetic and statistical model-approach for the classification of |
|
Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result