Your search for 35704 returns 747 document(s) |
Accelerating phase only corelation for motion estimation with full search technique using parallel threading in GPU, HAL. 318- 322 |
Author: Rosa A. Asmara; Cahya Rahmad; Anik N. Handayani; | Call Number: SEM-294 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
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
|
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
|