Results 11 to 20 of about 5,873,667 (245)
The intersection type unification problem [PDF]
, 2022 Art. 19, 16 S.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.
Dudenhefner, A., Rehof, J., Martens, M.
core +2 more sources
When private set intersection meets big data : an efficient and scalable protocol [PDF]
, 2013 Large scale data processing brings new challenges to the design of privacy-preserving protocols: how to meet the increasing requirements of speed and throughput of modern applications, and how to scale up smoothly when data being protected is big ...
Chen, Liqun, Wen, Zikai, Dong, Changyu
core +4 more sources
, 2023 Cycling is a sustainable and healthy mode of transportation with direct links to reducing traffic congestion, lowering greenhouse gas emissions, and improving air quality.
Shamsunnahar Yasmin (11237904) +2 more
core +6 more sources
Recognizing Stick Graphs with and without Length Constraints
Journal of Graph Algorithms and Applications, 2020 Stick graphs are intersection graphs of horizontal and vertical line segments that all touch a line of slope $-1$ and lie above this line. De Luca et al. [De Luca et al. GD'18] considered the recognition problem of stick graphs when no order is given
Steven Chaplick +6 more
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
The intersection problem for finite monoids [PDF]
, 2018 We investigate the intersection problem for finite monoids, which asks for a given set of regular languages, represented by recognizing morphisms to finite monoids from a variety V, whether there exists a word contained in their intersection.
Manfred Kufleitner (4542364) +1 more
core +9 more sources
Intersection Safety using Lidar and Stereo Vision sensors [PDF]
, 2011 International audienceIn this paper, we describe our approach for intersection safety developed in the scope of the European project INTERSAFE-2. A complete solution for the safety problem including the tasks of perception and risk assessment using on ...
Vu, Trung-Dung +8 more
core +4 more sources
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
The complexity of combinatorial optimization problems on d‐dimensional boxes [PDF]
, 2007 The Maximum Independent Set problem in d-box graphs, i.e., in intersection graphs of axis-parallel rectangles in R-d, is known to be NP-hard for any fixed d >= 2.
Chlebikova, Janka +5 more
core +1 more source