Search
Search Results
-
Purely Symbolic Induction of Structure
Techniques honed for the induction of grammar from text corpora can be extended to visual, auditory and other sensory domains, providing a structure...
-
Vector Symbolic Architectures for Context-Free Grammars
Vector symbolic architectures (VSA) are a viable approach for the hyperdimensional representation of symbolic data, such as documents, syntactic...
-
Symbolic Weighted Language Models, Quantitative Parsing and Automated Music Transcription
We study several classes of symbolic weighted formalisms: automata (swA), transducers (swT) and visibly pushdown extensions (swVPA, swVPT). They...
-
Composition of weighted finite transducers in MapReduce
Weighted finite-state transducers have been shown to be a general and efficient representation in many applications such as text and speech...
-
Measure-Invariant Symbolic Systems for Pattern Recognition and Anomaly Detection
Real-time modeling and inference are critical for pattern recognition and anomaly detection in dynamic data-driven applications systems (DDDAS),...
-
Decision Procedures for Sequence Theories
Sequence theories are an extension of theories of strings with an infinite alphabet of letters, together with a corresponding alphabet theory (e.g....
-
Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings
This book constitutes the refereed proceedings of the 27th International Conference on Developments in Language Theory, DLT 2023, held in Umeå,...
-
Incremental Minimization of Symbolic Automata
Symbolic automata are generalizations of finite automata that have symbolic predicates over the alphabet as transitions instead of symbols. Recently,...
-
A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving
Case split is a core proof rule in current decision procedures for the theory of string constraints. Its use is the primary cause of the state space...
-
A compositional framework for algebraic quantitative online monitoring over continuous-time signals
We investigate online monitoring algorithms over dense-time and continuous-time signals for properties written in metric temporal logic (MTL). We...
-
Solving morphological analogies: from retrieval to generation
Analogical inference is a remarkable capability of human reasoning, and has been used to solve hard reasoning tasks. Analogy based reasoning (AR) has...
-
Improving Symbolic Automata Learning with Concolic Execution
Inferring the input grammar accepted by a program is central for a variety of software engineering problems, including parsers verification,...
-
Developments in Language Theory 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings
This book constitutes the proceedings of the 25th International Conference on Developments in Language Theory, DLT 2021, which was held in Porto,...
-
Probabilistic Models for Handwritten Text
As discussed in the previous chapter, PrIx (and KWS), can be fruitfully seen under a handwritten text recognition (HTR) viewpoint. So, this chapter...
-
On first-order runtime enforcement of branching-time properties
Runtime enforcement is a dynamic analysis technique that uses monitors to enforce the behaviour specified by some correctness property on an...
-
Monitoring Timed Properties (Revisited)
In this paper we revisit monitoring real-time systems with respect to properties expressed either in Metric Interval Temporal Logic or as Timed Büchi...
-
Complex event forecasting with prediction suffix trees
Complex event recognition (CER) systems have become popular in the past two decades due to their ability to “instantly” detect patterns on real-time...
-
Adapting Behaviors via Reactive Synthesis
In the Adapter Design Pattern, a programmer implements a Target interface by constructing an Adapter that accesses an existing Adaptee code. In this...
-
Mata: A Fast and Simple Finite Automata Library
Mata is a well-engineered automata library written in C++ that offers a unique combination of speed and simplicity. It is meant to serve in...
-
Creation of Realistic Haptic Experiences for Materialized Graphics
Aerial images that can interact with the hands and fingers inducing realistic tactile sensations and behave as though they are composed of physical...