7 papers
A simple algorithmic framework for disambiguation of finite automata
Mauricio Cari, Martín Muñoz, Cristian Riveros
We study the task of disambiguation of finite state automata, namely, converting an automaton into an equivalent, unambiguous one. We do this by developing a novel and simple algor…
Structural Indexing of Relational Databases for the Evaluation of Free-Connex Acyclic Conjunctive Queries
Cristian Riveros, Benjamin Scheidt, Nicole Schweikardt
We present an index structure to boost the evaluation of free-connex acyclic conjunctive queries (fc-ACQs) over relational databases. The main ingredient of the index associated wi…
A formal query language and automata model for aggregation in complex event recognition
Pierre Bourhis, Cristian Riveros, Amaranta Salas
Complex Event Recognition (CER) systems are used to identify complex patterns in event streams, such as those found in stock markets, sensor networks, and other similar application…
Active Learning of Symbolic Automata Over Rational Numbers
Sebastian Hagedorn, Martín Muñoz, Cristian Riveros +1
Automata learning has many applications in artificial intelligence and software engineering. Central to these applications is the algorithm, introduced by Angluin. The …
Dynamic direct access of MSO query evaluation over strings
Pierre Bourhis, Florent Capelli, Stefan Mengel +1
We study the problem of evaluating a Monadic Second Order (MSO) query over strings under updates in the setting of direct access. We present an algorithm that, given an MSO query w…
A framework for extraction and transformation of documents
Cristian Riveros, Markus L. Schmid, Nicole Schweikardt
We present a theoretical framework for the extraction and transformation of text documents. We propose to use a two-phase process where the first phase extracts span-tuples from a…
Using Color Refinement to Boost Enumeration and Counting for Acyclic CQs of Binary Schemas
Cristian Riveros, Benjamin Scheidt, Nicole Schweikardt
We present an index structure, called the color-index, to boost the evaluation of acyclic conjunctive queries (ACQs) over binary schemas. The color-index is based on the color refi…