| Your search for 51934 returns 445 document(s) |
| Verifying real-time systems using parametrized timed modal specification, 123-127 |
|
Author: Carsten Weise; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Dicidable hybrid systems to modelize and verify rel-time applications, Hal. 295-302 |
|
Author: Olivier Roux; Vlad Rusu; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Almost-constant-time clustering of arbitrary corpus subtans, Hal. 60-66 |
|
Author: Craig, Silverstein; Jan O. Pedersen; | Call Number: SEM-249 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Vector and parallel wavelet, transforms for the analysis of time-varying, signals, Hal. 9-14 |
|
Author: Andreas Uhl; | Call Number: SEM-229 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Randomized linear-time algorithm for finding minimum spanning trees,hal 9-15 |
|
Author: Philip N.Klein; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Trade-offs between communication throughput and parallel time,Hal 372-381 |
|
Author: Yishay Mansour; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Augmenting undirected connectivity in RNC and in randomized O (n3)time,Hal 658-667 |
|
Author: Andras A.Benczur; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model selection of ensemble forecasting using weighted similarity of time series |
|
Author: Agus Widodo and Indra Budi | Call Number: JURNAL ILMU KOMPUTER DAN INFORMASI, Vol. 5 No. 1 February 2012 | Type: UI-ana Indek Artikel
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Financial time series forecasting based support vector regress, Hal. 3336-3339 |
|
Author: Xinwei Fan; | Call Number: SEM-302 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Compile-time technique for processors alloaction in macro dataflow graphs for multiprocessors, Hal. II.279-II.283 |
|
Author: G.N. Srinivasa Prasanna; Anant Agrawal; | Call Number: SEM-155 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result