65
Voted
FUIN
2016
10 years 1 months ago
2016
Parsing Expression Grammar (PEG) encodes a recursive-descent parser with limited backtracking. It has been recently noticed that in the situation when the parser is to explore sev...
FUIN
2016
10 years 1 months ago
2016
In this paper we study the complexity of the reachability problem Hornets, an algebraic extension of object nets. Here we consider the restricted class of safe, elementary Hornets....
61
Voted
FUIN
2016
10 years 1 months ago
2016
Robustness of timed systems aims at studying whether infinitesimal perturbations in clock values can result in new discrete behaviors. A model is robust if the set of discrete beh...
FTPL
2016
10 years 1 months ago
2016
We employ automata over infinite alphabets to capture the semantics of a finitary fragment of ML with ground-type references. Our approach is founded on game semantics, which all...
203
click to vote
FSS
2016
10 years 1 months ago
2016
In this paper we explore the possibility of introducing the equality symbol in the languages of Fuzzy Description Logics (FDLs) interpreted as a similarity relation. In the talk w...