Mathematical and Engineering Methods in Computer Science
9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers
Editors: Hliněný, P., Dvořák, Z., Jaroš, J., Kofroň, J., Kořenek, J., Matula, P., Pala, K. (Eds.)
Free PreviewBuy this book
- About this book
-
This volume contains the post-proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2014, held in Telč, Czech Republic, in October 2014.
The 13 thoroughly revised papers were carefully selected out of 28 submissions and are presented together with 4 invited papers. The topics covered by the papers include: algorithms, logic, and games; high performance computing; computer aided analysis, verification, and testing; hardware design and diagnostics; computer graphics and image processing; and artificial intelligence and natural language processing.
- Table of contents (13 chapters)
-
-
An Open-Source Hardware Approach for High Performance Low-Cost QoS Monitoring of VoIP Traffic
Pages 1-15
-
Today’s Challenges for Embedded ASR
Pages 16-29
-
Automating Software Analysis at Large Scale
Pages 30-39
-
3D Model-Based Segmentation of 3D Biomedical Images
Pages 40-46
-
LTL Model Checking of LLVM Bitcode with Symbolic Data
Pages 47-59
-
Table of contents (13 chapters)
- Download Preface 1 PDF (105.3 KB)
- Download Sample pages 2 PDF (390.2 KB)
- Download Table of contents PDF (41.7 KB)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Mathematical and Engineering Methods in Computer Science
- Book Subtitle
- 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers
- Editors
-
- Petr Hliněný
- Zdeněk Dvořák
- Jiří Jaroš
- Jan Kofroň
- Jan Kořenek
- Petr Matula
- Karel Pala
- Series Title
- Programming and Software Engineering
- Series Volume
- 8934
- Copyright
- 2014
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer International Publishing Switzerland
- eBook ISBN
- 978-3-319-14896-0
- DOI
- 10.1007/978-3-319-14896-0
- Softcover ISBN
- 978-3-319-14895-3
- Edition Number
- 1
- Number of Pages
- XI, 159
- Number of Illustrations
- 50 b/w illustrations
- Topics