| Your search for 51935 returns 249 document(s) |
| Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning (405-424) |
|
Author: Long H. Pham
Jun Sun
Quang Loc Le; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Termination Detection in Logic Programs Using Argument Sizes (216-226) |
|
Author: Kirack Sohn
Allen Van Gelder; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Informing The Status Of Online Teacher Education Programs In Canada (311-312) |
|
Author: Lynette D. Phyfe; | Call Number: SEM-330 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Incremental Inductive Learning of Answer Set Programs for Maps Generation Problems (483-488) |
|
Author: Julio Christian Young
Ari Saptawijaya; | Call Number: SEM-371 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Platect: detecting plagiarism among a set of programs that solve identical problems (59-64) |
|
Author: Tisha Melia
Ricky Suryadharma
Denvil Prasetya
Budianto
Mario R. Mahardhika; | Call Number: SEM-297 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Multybody grouping by inference of multiple subspaces from high-dimensional data using oriented-frames, page 91 |
|
Author: Z. Fan | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Relevance feedback for content based image retrieval using Bayesian Inference/ Maria Susan Anggreiny |
|
Author: Anggreiny, Maria Susan; Widyanto, M. Rahmat | Call Number: Pub. Staf PI-0005 | Type: Prosiding Internasional
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fundamental limits of bayesian inference: order parameters and phase transitions for road tracking, page 160 |
|
Author: A.L. Yuille | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Parallel cascade fuzzy inference system at the environment changes, case study: automated guide vehicle robot using ultrasonic sensor |
|
Author: Adi Wibowo, Sutikno, Kushartantya, Helmie Arif Wibawa, Ari Wibisono; | Call Number: SEM 304 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Search and inference in AI planning, (LNCS-Lecture Notes in Computer Science 3709) Hal 1-4 |
|
Author: Hector Geffner; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result