| Your search for 13388 returns 3585 document(s) |
| Analyzing the extractness of inherent feedback from event-signal and reframing of inquiris in web search, HAL. 636-650 |
|
Author: Chandrani Singh; Arpita Gopal and Armajit Singh; | Call Number: SEM-291A | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Development of a text mining based search engine prototype using HTML parser, HAL. 265-270 |
|
Author: Marcories; Richard Kumaradjaja; | Call Number: SEM-289 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| Deductive search for errors in the free data type specifications using model generation, Hal. 211-225 |
|
Author: Wolfgang Ahrendt; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Net agent: a global search system over internet resources by distributed agents, Hal. 81-89 |
|
Author: Taeha Park; Kilnam Chon; | Call Number: SEM-216 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Implementasi algoritma breadth first search dan obstacle detection dalam penelusuran labirin dinamis dengan menggunakan robot lego |
|
Author: Budianto, Lasguido, Fahry Fathurrahman, Adi Wibowo | Call Number: JURNAL ILMU KOMPUTER DAN INFORMASI, Vol. 4 No. 1 2011 | Type: UI-ana Indek Artikel
|
|
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
|
| Incremental algorithms for local search from existential second-order logic, (LNCS-Lecture Notes in Computer Science 3709) Hal 47-61 |
|
Author: Magnus Agren; Pierre Flener; Justin Pearson; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Parallel local search in comet, (LNCS-Lecture Notes in Computer Science 3709) Hal 430-444 |
|
Author: Laurent Michel; Pascal Van Hentenryck; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Caching search states in permutation problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 637-651 |
|
Author: Barbara M. Smith; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result