| Your search for 47994 returns 197 document(s) |
| 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
|
| Combining constraint solving and symbolic model checking for a class of sysems with non-linear constraints, (LNCS-Lecture Notes in Computer Science 1254)Hal. 316-327 |
|
Author: William Chan; Richard Anderson; Paul Beanne; David Notkin; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| MCMC data association and sparse factorization updating for real time multitarget tracking with merged and multiple mesurements, page 1960 |
|
Author: Z. Khan T. Balch | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using annotations to support multiple kinds of versioning in an object-oriented database systems, page 417 |
|
Author: Sciore, Edward | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A Corpus analysis approach for automatic query expansion and its extension to multiple database, page 150 |
|
Author: Susan G. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The Model-assisted global query system for multiple database in distributed enterprises, page 421 |
|
Author: Waiman C. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Text categorization for multiple users based on semantic features from a machine-readable disctionary, page 278 |
|
Author: Elizabeth D. | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Principle axis-based correspondence between multiple cameras for people tracking, page 663 |
|
Author: W. Hu | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Multybody grouping by inference of multiple subspaces from high-dimensional data using oriented-frames, page 91 |
|
Author: Z. Fan | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Consistent labeling of tracked objects in multiple cameras with overlapping fields of view, page 1355 |
|
Author: S. Khan | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result