third IFIP WG 1.8 International Conference, TTCS 2020 Tehran, Iran, July 1-2, 2020 Proceedings /
Luís S. Barbosa, Mohammad Ali Abam (Eds.).
Cham, Switzerland :
Springer,
2020.
1 online resource
Lecture notes in computer science ;
LNCS sublibrary, SL 1, Theoretical computer science and general issues
12281
"Due to the COVID-19 pandemic, TTCS 2020 was forced to run virtually, with livestreaming of all talks and both synchronous and asynchronous interaction with participants."--Preface.
Includes author index.
International conference proceedings.
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.
0
9783030578510
TTCS 2020
Computer science, Congresses.
Algorithms & data structures.
Computer science.
Computer science.
Computers-- Data Processing.
Computers-- Machine Theory.
Computers-- Programming-- Algorithms.
Discrete mathematics.
Mathematical theory of computation.
Mathematics-- Logic.
004
23
QA75
.
5
Abam, Mohammad Ali.
Barbosa, Luis Soares.
IFIP WG 1.8 International Conference(3rd :2020 :, Online)