Results 11 to 20 of about 101,154 (305)
The Intersection Type Unification Problem. [PDF]
CoRR, 2016 The intersection type unification problem is an important component in proof search related to several natural decision problems in intersection type systems. It is unknown and remains open whether the unification problem is decidable. We give the first nontrivial lower bound for the problem by showing (our main result) that it is exponential time hard.
Andrej Dudenhefner +2 more
core +6 more sources
The Clique Problem in Ray Intersection Graphs [PDF]
Discrete & Computational Geometry, 2012 Ray intersection graphs are intersection graphs of rays, or halflines, in the plane. We show that any planar graph has an even subdivision whose complement is a ray intersection graph. The construction can be done in polynomial time and implies that finding a maximum clique in a segment intersection graph is NP-hard.
Sergio Cabello +2 more
openaire +7 more sources
An explicit and rapid intersection algorithm of plane and NURBS surface in CNC surface machining [PDF]
Scientific ReportsTo address the challenge of plane-surface intersection in toolpath planning for CNC surface machining, a rapid intersection algorithm between a plane and a NURBS surface is proposed, which can provide an explicit Non-Uniform Rational B-Spline (NURBS ...
Shengli Wei +3 more
doaj +2 more sources
An improvement on Furstenberg’s intersection problem [PDF]
Transactions of the American Mathematical Society, 2021 In this paper, we study a problem posed by Furstenberg on intersections between × 2
openaire +4 more sources
The Chern classes of complete intersection varieties
上海师范大学学报. 自然科学版, 2022 The study of inequalities of Chern classes of varieties (also known as the geographical problem of varieties) is an important topic in algebraic geometry.
LIU Lifeng +3 more
doaj +1 more source
Method of Real Time Intersection Location Based on Monocular Vision for Intelligent Vehicle [PDF]
Jisuanji gongcheng, 2017 In order to solve the problem of high accuracy real-time location of intelligent vehicles at the intersection,this paper proposes a real-time intersection location method based on monocular vision.The intersections that need to be located are numbered ...
ZHENG Yongrong,YUAN Jiazheng,LIU Hongzhe,LI Chao
doaj +1 more source
On wellposedness quadratic function minimization problem on intersection of two ellipsoids [PDF]
Yugoslav Journal of Operations Research, 2002 This paper deals with the existence of solutions and the conditions for the strong convergence of minimizing sequences towards the set of solutions of the quadratic function minimization problem on the intersection of two ellipsoids in Hilbert space.
Jaćimović Milojica, Krnić Izedin
doaj +1 more source
Transportation Research Interdisciplinary Perspectives, 2021 Rule-based and optimization-based autonomous intersection management (AIM) policies have been evaluated against traditional signal controls in terms of intersection safety, efficiency and emission.
Muting Ma, Zhixia Li
doaj +1 more source
Journal of Robotics, 2020 This paper considers the motion coordination problem of autonomous vehicles in an intersection of a traffic network. The featured challenge is the design of an intersection traffic manager, in the form of a supervisory control algorithm, that regulates ...
Mehmet Ali Guney, Ioannis A. Raptis
doaj +1 more source
Improved YOLOv3 Integrating SENet and Optimized GIoU Loss for Occluded Pedestrian Detection
Sensors, 2023 Occluded pedestrian detection faces huge challenges. False positives and false negatives in crowd occlusion scenes will reduce the accuracy of occluded pedestrian detection.
Qiangbo Zhang +4 more
doaj +1 more source