| Your search for 36718 returns 1568 document(s) |
| Reasoning by symmetry and function oerdeing in finite model generation, Hal. 226-240 |
|
Author: Gilles Audemard; Belaid Benhanmou; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Full-text retrieval system with a dynamic abstract generation function, Hal. 152-161 |
|
Author: Seiji Miike; kenji Ono; Kazuo Sumita; | Call Number: SEM-256 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Automatic generation of matching function by genetic algorithm for information retrieval, 51-56 |
|
Author: Muhammad Zarlis, Poltak Sihombing; | Call Number: SEM-344 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| SMC: A Symmetry-Based Model Checker for Verification of Safety and Liveness Properties, page 133-166 |
|
Author: A. Prasad Sistla, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On-the-fly model checking under fairness that exploits symmetry, (LNCS-Lecture Notes in Computer Science 1254) Hal 232-243 |
|
Author: Viktor Gyuris; A. Prasad Sistla; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| SMC: a symmetry based model checker for verification of liveness properties, (LNCS-Lecture Notes in Computer Science 1254) Hal 464-467 |
|
Author: A. P. Sistla; L. Miliades; V. Gyuris; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An access control model supporting periodicity contraints and temporal reasoning |
|
Author: Elisa Bertino | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Utilizing symmetry when model checking under fairness assumptions: an automata-theoretic approach, (LNCS-Lecture Notes in Computer Science 939) Hal 309-324 |
|
Author: E. A. Emerson; A. P. Sistla; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A General model for finite-sample effects in training and testing of competing classifiers, 1561 |
|
Author: S.V. Beiden | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Topic analysis using a finite mixture model, page 521 |
|
Author: Hang Li | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result