[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Action Language Verifier, Extended
- 作者Etessami, Kousha; Rajamani, Sriram K.
- 文件大小107.63KB
- 发表时间2005
- DOI10.1007/11513988_40
- 页码413-417
[Lecture Notes in Computer Science] Pattern Recognition and Image Analysis Volume 3523 ||Marques, Jorge S.; Pérez de la Blanca, Nicolás; Pina, Pedro · 2005
[Lecture Notes in Computer Science] Pattern Recognition and Image Analysis Volume 3523 || A Roof Edge Detection ModelMarques, Jorge S.; Pérez de la Blanca, Nicolás; Pina, Pedro · 2005
[Lecture Notes in Computer Science] Pattern Recognition and Image Analysis Volume 3523 || Synthesis of Median Spectral GraphMarques, Jorge S.; Pérez de la Blanca, Nicolás; Pina, Pedro · 2005
[Lecture Notes in Computer Science] Pattern Recognition and Image Analysis Volume 3523 || Automatic Classification of Breast TissueMarques, Jorge S.; Pérez de la Blanca, Nicolás; Pina, Pedro · 2005
[Lecture Notes in Computer Science] Pattern Recognition and Image Analysis Volume 3523 || Leather Inspection Based on WaveletsMarques, Jorge S.; Pérez de la Blanca, Nicolás; Pina, Pedro · 2005
[Lecture Notes in Computer Science] Pattern Recognition and Image Analysis Volume 3523 || Machine Learning with Seriated GraphsMarques, Jorge S.; Pérez de la Blanca, Nicolás; Pina, Pedro · 2005
[Lecture Notes in Computer Science] Pattern Recognition and Image Analysis Volume 3522 || Phase Unwrapping via Graph CutsMarques, Jorge S.; Pérez de la Blanca, Nicolás; Pina, Pedro · 2005
[Lecture Notes in Computer Science] Pattern Recognition and Image Analysis Volume 3523 || Texture Interpolation Using Ordinary KrigingMarques, Jorge S.; Pérez de la Blanca, Nicolás; Pina, Pedro · 2005