Copertina

Complex Event Recognition with Symbolic Register Transducers: Extended Technical Report

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Alevizos, Elias, Artikis, Alexander, Paliouras, Georgios
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Formal Languages and Automata Theory Artificial Intelligence Databases F.1.1; F.4.3; I.2.4
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata
di: Bojańczyk, Mikołaj, et al.
Pubblicazione: (2021)

Exploring Complexity: An Extended Study of Formal Properties for Process Model Complexity Measures
di: Schalk, Patrizia, et al.
Pubblicazione: (2024)

On Repetitive Finite Automata with Translucent Words
di: Mráz, František, et al.
Pubblicazione: (2025)

On the Boolean Closure of Deterministic Top-Down Tree Automata
di: Löding, Christof, et al.
Pubblicazione: (2024)

On Minimization and Learning of Deterministic $ω$-Automata in the Presence of Don't Care Words
di: Löding, Christof, et al.
Pubblicazione: (2022)

Recognizing Numbers
di: Gaba, Pranshu, et al.
Pubblicazione: (2025)

Lexicographic transductions of finite words
di: Filiot, Emmanuel, et al.
Pubblicazione: (2025)

Probabilistic Finite Automaton Emptiness is undecidable
di: Rote, Günter
Pubblicazione: (2024)

Probabilistic Finite Automaton Emptiness is Undecidable for a Fixed Automaton
di: Rote, Günter
Pubblicazione: (2024)

Identity Testing for Stochastic Languages
di: Agarwal, Smayan, et al.
Pubblicazione: (2025)

Turn Complexity of Context-free Languages, Pushdown Automata and One-Counter Automata
di: Pighizzini, Giovanni
Pubblicazione: (2026)

The Inclusion Depth of Pattern Languages: An Open Problem in Algorithmic Learning Theory
di: Luo, Wei
Pubblicazione: (2026)

On some Classes of Reversible 2-head Automata
di: Nagy, Benedek, et al.
Pubblicazione: (2025)

Input-Erasing Two-Way Finite Automata
di: Meduna, Alexander, et al.
Pubblicazione: (2025)

Orbit-finite linear programming
di: Ghosh, Arka, et al.
Pubblicazione: (2023)

A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
di: Grabolle, Gustav
Pubblicazione: (2022)

Geometric Characterization of Context-Free Intersections via the Inner Segment Dichotomy
di: Silva, Jorge Miguel
Pubblicazione: (2026)

RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement and Lookarounds
di: Varatalu, Ian Erik, et al.
Pubblicazione: (2024)

Introducing Divergence for Infinite Probabilistic Models
di: Finkel, Alain, et al.
Pubblicazione: (2023)

Dynamically Reprogrammable Runtime Monitors for Bounded-time MTL
di: Hebballi, Chirantan, et al.
Pubblicazione: (2026)

Monads, Comonads, and Transducers
di: Stefański, Rafał
Pubblicazione: (2024)

Finitely Presentable Higher-Dimensional Automata and the Irrationality of Process Replication
di: Basold, Henning, et al.
Pubblicazione: (2023)

On Transition Constructions for Automata -- A Categorical Perspective
di: Cruchten, Mike
Pubblicazione: (2024)

Polynomial Complementation of Nondeterministic 2-Way Finite Automata by 1-Limited Automata
di: Guillon, Bruno, et al.
Pubblicazione: (2025)

How Concise are Chains of co-Büchi Automata?
di: Ehlers, Rüdiger
Pubblicazione: (2025)

Kleene Theorems for Lasso Languages and $ω$-Languages
di: Cruchten, Mike
Pubblicazione: (2024)

A Decision Procedure for Probabilistic Kleene Algebra with Angelic Nondeterminism
di: Ong, Shawn, et al.
Pubblicazione: (2025)

Non-reducible Modal Transition Systems
di: Basile, Davide
Pubblicazione: (2023)

Learning real-time one-counter automata using polynomially many queries
di: Mathew, Prince, et al.
Pubblicazione: (2024)

Satisfiability of Context-free String Constraints with Subword-ordering and Transducers
di: Aiswarya, C, et al.
Pubblicazione: (2024)

A Uniform Framework for Problems on Context-Free Grammars
di: Esparza, Javier, et al.
Pubblicazione: (2024)

A LOCAL View of the Polynomial Hierarchy
di: Reiter, Fabian
Pubblicazione: (2023)

A Myhill-Nerode Type Characterization of 2detLIN Languages
di: Nagy, Benedek
Pubblicazione: (2025)

Deciding DFA-Primality is NP-Hard
di: Spenner, Daniel Alexander
Pubblicazione: (2026)

The decidability of the genus of regular languages and directed emulators
di: Bonfante, Guillaume, et al.
Pubblicazione: (2021)

Characterizing NC1 with Typed Monoids
di: Dawar, Anuj, et al.
Pubblicazione: (2025)

How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars
di: Havel, Martin, et al.
Pubblicazione: (2024)

Active Automata Learning with Advice
di: Fica, Michał, et al.
Pubblicazione: (2025)

Regular Expressions with Backreferences: Polynomial-Time Matching Techniques
di: Schmid, Markus L.
Pubblicazione: (2019)

Parsing Hypergraphs using Context-Free Positional Grammars
di: Costagliola, Gennaro, et al.
Pubblicazione: (2026)