Your search for 18454 returns 5005 document(s) |
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
|
A Model for Evaluating Organizational Competencies: An Application in the Context of Quality Management Initiative, page 221-258 |
Author: Ana Belen Escrig-Tena, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Three-dimensional model-based object recognition and segmentation in cluttered scenes, page 1584 |
Author: A.S. Mian | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Recovering facial shape using a statistical model of surface normal direction, page 1914 |
Author: W.A.P. Smith | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal aspects of concurrency control on long-duration transaction systems using the NT/PV model, page 492 |
Author: Korth, Henry F. | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The model, language, and implementation of an object-oriented multimedia knowledge base management system, page 1 |
Author: Ishikawa, H. | 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
|
Sequential patterns in information systems development: an application of a social process model, page 30 |
Author: Daniel R. | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Error analysis of robust optical flow estimation by least median of squares methods for the varying illumination model, page 1418 |
Author: Y.H. Kim | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A Generic camera model and calibration method for conventional, wide-angle, and fish-eye lenses, page 1335 |
Author: J. Kannala | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|