Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation

Full Text Documents

Chargement de la page


Chargement de la page

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
Combining Machine and Automata Learning for Network Traffic Classification
Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, Zahra Alimadadi
On the Complexity of the Upper r-Tolerant Edge Cover Problem
Ararat Harutyunyan, Mehdi Ghadikolaei, Nikolaos Melissinos, Jérôme Monnot, Aris Pagourtzis
Margin-Based Semi-supervised Learning Using Apollonius Circle
Mona Emadi, Jafar Tanha
Computing Boundary Cycle of a Pseudo-Triangle Polygon from Its Visibility Graph
Hossein Boomari, Soheila Farokhi
Improved Algorithms for Distributed Balanced Clustering
Kian Mirjalali, Hamid Zarrabi-Zadeh
Finite Interval-Time Transition System for Real-Time Actors
Shaghayegh Tavassoli, Ramtin Khosravi, Ehsan Khamespanah
Path Planning with Objectives Minimum Length and Maximum Clearance
Mansoor Davoodi, Arman Rouhani, Maryam Sanisales


Designed by Inria-IES Team :    Hosted by HAL :