| Document Type
|
:
|
BL
|
| Record Number
|
:
|
1048944
|
| Doc. No
|
:
|
bc379
|
| Main Entry
|
:
|
IFIP WG 1.8 International Conference(3rd :2020 :, Online)
|
| Title & Author
|
:
|
Topics in theoretical computer science : : third IFIP WG 1.8 International Conference, TTCS 2020 Tehran, Iran, July 1-2, 2020 Proceedings /\ Luís S. Barbosa, Mohammad Ali Abam (Eds.).
|
| Publication Statement
|
:
|
Cham, Switzerland :: Springer,, 2020.
|
| Series Statement
|
:
|
Lecture notes in computer science ;; 12281
|
|
|
:
|
LNCS sublibrary, SL 1, Theoretical computer science and general issues
|
| Page. NO
|
:
|
1 online resource
|
| ISBN
|
:
|
9783030578527
|
|
|
:
|
: 3030578526
|
|
|
:
|
3030578518
|
|
|
:
|
9783030578510
|
| Notes
|
:
|
International conference proceedings.
|
|
|
:
|
"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.
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Computer science, Congresses.
|
| Subject
|
:
|
Algorithms data structures.
|
| Subject
|
:
|
Mathematical theory of computation.
|
| Subject
|
:
|
Discrete mathematics.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Computers-- Programming-- Algorithms.
|
| Subject
|
:
|
Computers-- Data Processing.
|
| Subject
|
:
|
Mathematics-- Logic.
|
| Subject
|
:
|
Computers-- Machine Theory.
|
| Subject
|
:
|
Computer science.
|
| Dewey Classification
|
:
|
004
|
| LC Classification
|
:
|
QA75.5
|
| Added Entry
|
:
|
Barbosa, Luis Soares.
|
|
|
:
|
Abam, Mohammad Ali.
|
| Parallel Title
|
:
|
TTCS 2020
|