搜索结果: 1-3 共查到“计算机科学技术 intersection”相关记录3条 . 查询时间(0.062 秒)
On Typability for Rank-2 Intersection Types with Polymorphic Recursion
Typability Rank-2 Intersection Types Polymorphic Recursion
2016/5/24
We show that typability for a natural form of polymorphic recursive typing for rank-2 intersection types is undecidable. Our proof involves characterizing typability as a context free language (CFL) g...
Evaluation of Intersection Performance Under Atc System in Wuhan
ATC System Intersection Performance Performance Evaluation Intersection Delay Vehicle Stop Times
2013/1/28
In order to accurately evaluate the implementation of Area Traffic Control (ATC) system, two situations were compared in this paper, i.e., comparison of intersection performance under two different op...
Real-Time Traffic Signal Timing for Urban Road Multi-Intersection
Traffic Signal Control Traffic Flows Real-Time Signal Timing Release Matrix Split Passion Distribution
2013/1/29
this paper develops a real-time traffic signal timing model which is to be integrated into a single intersection for urban road, thereby solving the problem of traffic congestion. We analyze the curre...