One challenge in making online education more effective is to develop automatic grading
software that can provide meaningful feedback. This paper provides a solution to automatic …

Process mining techniques use event logs containing real process executions in order to
mine, align and extend process models. The partition of an event log into trace variants …

Most design automation methods developed for approximate computing evaluate candidate
solutions by applying a set of input vectors and measuring the error of the output vectors with …

Regular cost functions provide a quantitative extension of regular languages that retains
most of their important properties, such as expressive power and decidability, at least over …

The comparison of trace variants of business processes opens the door for a fine-grained
analysis of the distinctive features inherent in the executions of a process in an organization …

An absent factor of a string w is a string u which does not occur as a contiguous substring
(aka factor) inside w. We extend this well-studied notion and define absent subsequences: a …

What do you do if a computational object (eg program trace) fails a specification? An
obvious approach is to perform a repair: modify the object minimally to get something that …

We lift metrics over words to metrics over word-to-word transductions, by defining the
distance between two transductions as the supremum of the distances of their respective …

The edit distance between two words w_1,w_2 is the minimal number of word operations
(letter insertions, deletions, and substitutions) necessary to transform w_1 to w_2. The edit …

Cost automata are traditional finite state automata enriched with a finite set of counters that
can be manipulated on each transition. Based on the evolution of counter values, a cost …