Results 31 to 40 of about 101,154 (305)
The Intersection Problem for Finite Semigroups [PDF]
International Journal of Foundations of Computer Science, 2018 The intersection problem for finite semigroups asks, given a set of regular languages, represented by recognizing morphisms to finite semigroups, whether there exists a word contained in their intersection. In previous work, it was shown that is problem is [Formula: see text]-complete. We introduce compressibility measures as a useful tool to classify
openaire +3 more sources
Моделирование и анализ информационных систем, 2018 In this paper, we consider the key problem of geometric modeling, connected with the construction of the intersection curves of surfaces. Methods for constructing the intersection curves in complex cases are found: by touching and passing through ...
Artem D. Uvarov
doaj +1 more source
Session Types = Intersection Types + Union Types [PDF]
, 2011 We propose a semantically grounded theory of session types which relies on intersection and union types. We argue that intersection and union types are natural candidates for modeling branching points in session types and we show that the resulting ...
Luca Padovani, Padovani, Luca
core +1 more source
SICE Journal of Control, Measurement, and System Integration, 2019 This paper addresses the crossing order problem for connected and automated vehicles at an intersection where the problem can lead to higher traffic congestion, especially in high traffic density.
Mohamad Hafizulazwan Mohamad Nor +1 more
doaj +1 more source
Applied Sciences, 2022 Automatic intersection identification and extraction are an important foundation for urban road network updates and traffic network analysis and modeling.
Lei Gao, Lu Wei, Jian Yang, Jinhong Li
doaj +1 more source
Distributed Ellipsoidal Intersection Fusion Estimation for Multi-Sensor Complex Systems
Sensors, 2022 This paper investigates the problem of distributed ellipsoidal intersection (DEI) fusion estimation for linear time-varying multi-sensor complex systems with unknown input disturbances and measurement data transmission delays.
Peng Zhang +3 more
doaj +1 more source
The 'Cross" Rectangle Intersection Problem [PDF]
The Computer Journal, 1995 In this paper we present a solution for a special case of the general rectangle intersection problem that has not been previously considered as a different case. This case, named the 'cross' intersection case, reports the set of these iso-oriented rectangles that intersect a query rectangle but do not enclose it and do not have one of their vertices ...
V. Kapelios +4 more
openaire +1 more source
New Numerical Solution for Two Parametric Surfaces Intersection Dragging Problem
International Journal of Analysis and Applications, 2021 The problem of intersecting two parametric surfaces has been one of the main technical challenges in computer-aided design, computer graphics, solid modeling, and geometrics.
Ramadhan A. M. Alsaidi
doaj
Problems on Finite Automata and the Exponential Time Hypothesis
Algorithms, 2017 We study several classical decision problems on finite automata under the (Strong) Exponential Time Hypothesis. We focus on three types of problems: universality, equivalence, and emptiness of intersection.
Henning Fernau, Andreas Krebs
doaj +1 more source
Graph Logics with Rational Relations [PDF]
Logical Methods in Computer Science, 2013 We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying graph topology, which have recently found numerous applications.
Pablo Barcelo +2 more
doaj +1 more source