[IFIP Advances in Information and Communication Technology] Computer Science and Its Applications Volume 456 || Noise Robust Features Based on MVA Post-processing
- 作者Amine, Abdelmalek; Bellatreche, Ladjel; Elberrichi, Zakaria; Neuhold, Erich J.; Wrembel, Robert
- 文件大小784.83KB
- 发表时间2015
- DOI10.1007/978-3-319-19578-0_13
- 页码155-166
Lecture Notes in Computer Science 89 Computer Aided Design ModellingSystems Engineering · Springer-Verlag · 1980
[Lecture Notes in Computer Science] Computer Aided Verification Volume 4144 ||Ball, Thomas; Jones, Robert B. · 2006
[Lecture Notes in Computer Science] Computer Aided Verification Volume 5643 ||Bouajjani, Ahmed; Maler, Oded · 2009
[Lecture Notes in Computer Science] Computer Aided Verification Volume 8559 ||Biere, Armin; Bloem, Roderick · 2014
[Lecture Notes in Computer Science] Computer Aided Verification Volume 4590 ||Damm, Werner; Hermanns, Holger · 2007
[Lecture Notes in Computer Science] Computer Aided Verification Volume 5123 ||Gupta, Aarti; Malik, Sharad · 2008
[Lecture Notes in Computer Science] Computer Aided Verification Volume 8044 ||Sharygina, Natasha; Veith, Helmut · 2013
[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 ||Alur, Rajeev; Peled, Doron A. · 2004
[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Action Language Verifier, ExtendedEtessami, Kousha; Rajamani, Sriram K. · 2005
[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Extended Weighted Pushdown SystemsEtessami, Kousha; Rajamani, Sriram K. · 2005
[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Linear Ranking with ReachabilityEtessami, Kousha; Rajamani, Sriram K. · 2005
[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || JVer: A Java VerifierEtessami, Kousha; Rajamani, Sriram K. · 2005
[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || The ComFoRT Reasoning FrameworkEtessami, Kousha; Rajamani, Sriram K. · 2005
[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Abstraction Refinement via Inductive LearningEtessami, Kousha; Rajamani, Sriram K. · 2005
[Lecture Notes in Computer Science] Computer Aided Verification Volume 3576 || Ymer: A Statistical Model CheckerEtessami, Kousha; Rajamani, Sriram K. · 2005