Results 11 to 20 of about 35,093 (196)
Learning Regular Languages over Large Ordered Alphabets [PDF]
, 2015 This work is concerned with regular languages defined over large alphabets, either infinite or just too large to be expressed enumeratively. We define a generic model where transitions are labeled by elements of a finite partition of the alphabet.
Maler, Oded, Mens, Irini-Eleftheria
core +1 more source
On computational complexity of Set Automata
, 2017 We consider a computational model which is known as set automata. The set automata are one-way finite automata with an additional storage---the set. There are two kinds of set automata---the deterministic and the nondeterministic ones.
Rubtsov, Alexander A. +1 more
core +1 more source
Algebraic optimization of recursive queries [PDF]
, 1992 Over the past few years, much attention has been paid to deductive databases. They offer a logic-based interface, and allow formulation of complex recursive queries.
Apers, Peter M.G. +2 more
core +5 more sources
Groups whose word problems are not semilinear [PDF]
, 2018 Suppose that G is a finitely generated group and W is the formal language of words defining the identity in G. We prove that if G is a nilpotent group, the fundamental group of a finite volume hyperbolic three-manifold, or a right-angled Artin group ...
Gilman, Robert H. +2 more
core +2 more sources
Choosers: The design and evaluation of a visual algorithmic music composition language for non-programmers [PDF]
, 2018 Algorithmic music composition involves specifying music in such a way that it is non-deterministic on playback, leading to music which has the potential to be different each time it is played.
Bellingham, Matt +2 more
core +1 more source
Towards MKM in the Large: Modular Representation and Scalable Software Architecture [PDF]
, 2010 MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM "in the small" is well-studied, so the real problem is to scale up to large, highly interconnected corpora: "MKM in the large". We contend that advances in two areas
Kohlhase, Michael +2 more
core +2 more sources
Multimodal Human–Robot Interaction Using Human Pose Estimation and Local Large Language Models
Advanced Robotics Research, EarlyView.A multimodal human–robot interaction framework integrates human pose estimation (HPE) and a large language model (LLM) for gesture‐ and voice‐based robot control. Speech‐to‐text (STT) enables voice command interpretation, while a safety‐aware arbitration mechanism prioritizes gesture input for rapid intervention.
Nasiru Aboki +2 more
wiley +1 more source
Enriched Lawvere Theories for Operational Semantics
, 2019 Enriched Lawvere theories are a generalization of Lawvere theories that allow us to describe the operational semantics of formal systems. For example, a graph enriched Lawvere theory describes structures that have a graph of operations of each arity ...
Baez, John C., Williams, Christian
core +1 more source
Intrinsic Mechanical Parameters and their Characterization in Solid‐State Lithium Batteries
Advanced Energy Materials, Volume 15, Issue 11, March 18, 2025.This review focuses on the intrinsic mechanical parameters and their associated characterization in solid‐state batteries. The physical significance of mechanics parameters is introduced with exhaustive classifications by elastic, plastic deformations and fracture in bulk, adhesion, friction at interfaces, and mechanical fatigue in cells ...
Shuai Hao +5 more
wiley +1 more source
Quantifiers on languages and codensity monads [PDF]
, 2017 This paper contributes to the techniques of topo-algebraic recognition for languages beyond the regular setting as they relate to logic on words. In particular, we provide a general construction on recognisers corresponding to adding one layer of various
Gehrke, Mai +2 more
core +2 more sources