Your search for 22340 returns 4680 document(s) |
Parametrized verification of linear networks using automata as invariants, (LNCS-Lecture Notes in Computer Science 1254) Hal 412-423 |
Author: A. Prasad Sistla; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Parametrized verification of linear networks using automata as invariants, (LNCS-Lecture Notes in Computer Science 1254)Hal. 412-423 |
Author: A. Prasad Sistia; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Qprober: A System for Automatic Classification of Hidden-Web Databases, page 1-41 |
Author: L. Gravano, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Shape representation and classification using the poisson equation, page 1991 |
Author: L. Gorelick, M. Galun | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Bayesian Gaussian Process Classification with the EM-EP Algorithm, page 1948 |
Author: H.C. Kim | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Information extraction as a basis for high-precision text classification, page 296 |
Author: Ellen R. | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Minimum classification error training for online handwriting recognition, page 1041 |
Author: A. Biem | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Learning weighted metrics to minimize nearest-neighbor classification erro, page 1100 |
Author: R. Paredes | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A Discriminative learning framwork with pairwise contrains for video object classification, page 578 |
Author: R. Yan | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Hidden tree markov models for document image classification, page 519 |
Author: M. Diligenti | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|