Table of Contents
|
Topics in Theoretical Computer Science
Luis Barbosa, Mohammad Ali Abam |
Front Matter |
Dirac-Based Reduction Techniques for Quantitative Analysis of Discrete-Time Markov Models
Mohammadsadegh Mohagheghi, Behrang Chaboki |
1-16 |
Combining Machine and Automata Learning for Network Traffic Classification
Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, Zahra Alimadadi |
17-31 |
On the Complexity of the Upper r-Tolerant Edge Cover Problem
Ararat Harutyunyan, Mehdi Ghadikolaei, Nikolaos Melissinos, Jérôme Monnot, Aris Pagourtzis |
32-47 |
Margin-Based Semi-supervised Learning Using Apollonius Circle
Mona Emadi, Jafar Tanha |
48-60 |
Computing Boundary Cycle of a Pseudo-Triangle Polygon from Its Visibility Graph
Hossein Boomari, Soheila Farokhi |
61-71 |
Improved Algorithms for Distributed Balanced Clustering
Kian Mirjalali, Hamid Zarrabi-Zadeh |
72-84 |
Finite Interval-Time Transition System for Real-Time Actors
Shaghayegh Tavassoli, Ramtin Khosravi, Ehsan Khamespanah |
85-100 |
Path Planning with Objectives Minimum Length and Maximum Clearance
Mansoor Davoodi, Arman Rouhani, Maryam Sanisales |
101-115 |
