Buch, Englisch, Band 12281, 117 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 207 g
Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1¿2, 2020, Proceedings
Buch, Englisch, Band 12281, 117 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 207 g
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-030-57851-0
Verlag: Springer International Publishing
The 8 papers presented in this volume were carefully reviewed and selected from 24 submissions. They focus on novel and high-quality research in all areas of theoretical computer science, such as algorithms and complexity; logic, semantics, and programming theory; and more.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Dirac-based Reduction Techniques for Quantitative Analysis of Discrete-time Markov Models.- Combining Machine and Automata Learning for Network Traffic Classification.- On the complexity of the upper r-tolerant edge cover problem.- Margin-based Semi-supervised Learning Using Apollonius circle.- Computing Boundary Cycle of a Pseudo-Triangle Polygon from its Visibility Graph.- Improved Algorithms for Distributed Balanced Clustering.- Finite Interval-Time Transition System for Real-Time Actors.- Path Planning with Objectives Minimum Length and Maximum Clearance.