[Lecture Notes in Computer Science] Computer Vision — ECCV '96 Volume 1064 || Informative views and sequential recognition
- 作者Buxton, Bernard; Cipolla, Roberto
- 文件大小948.89KB
- 发表时间1996
- DOI10.1007/bfb0015558
- 页码467-481
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Incremental formalizationWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Algebraic view specificationWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || CtCoq: A system presentationWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || The discrete time toolbusWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Boolean formalism and explanationsWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Towards heterogeneous formal specificationsWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Preprocessing for invariant validationWirsing, Martin; Nivat, Maurice · 1996
[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1101 || Proplane: A specification development environmentWirsing, Martin; Nivat, Maurice · 1996