| _ | timed | _ |
|---|
| Crowdsourcing Phase and Timing of Pre- | timed | Traffic Signals in the Presence of Queues: Algorithms and Back-End System Architecture |
| Decadal Quasi-2-Day Wave Observations in the Equatorial Mesopause Region by a Meteor Radar over Kototabang (0.2°S, 100.3°E) and | timed | /TIDI and Comparison with Quasi-2-Day Wave Observations at Mid-Latitudes |
| Design of Traffic Safety Control Systems for Emergency Vehicle Preemption Using | timed | Petri Nets |
| Design of Variable Traffic Light Control Systems for Preventing Two-Way Grid Network Traffic Jams Using | timed | Petri Nets |
| Edit-Distance Model for the Approximate Matching of | timed | Strings, An |
| Enzymatic competition: Modeling and verification with | timed | hybrid petri nets |
| Initial Cross-Validation of the OI 135.6 nm and LBH Radiances from FY3E/TriIPM and | timed | /GUVI |
| Limits of fluidification for a stochastic Petri nets by | timed | continuous Petri nets |
| Microscopic Modeling of a Signalized Traffic Intersection Using | timed | Petri Nets |
| Modular Design of Urban Traffic-Light Control Systems Based on Synchronized | timed | Petri Nets |
| New Method for Determining the Wave Turbopause Based on SABER/ | timed | Data, A |
| Place- | timed | Petri Net-Based Method to Avoid Deadlock and Conflict in Railway Networks, A |
| Research on modeling for submarine cable monitoring system based on | timed | colored Petri Nets |
| robust real- | timed | recognizer of printed chinese characters, A |
| Self- | timed | ICT Chip for Image Coding, A |
| timed | and probabilistic automata for automatic animal Call Recognition |
| timed | -image based deep learning for action recognition in video sequences |
17 for timed