On modelling and verifying railway interlockings: Tracking train lengths.
Phillip JamesFaron MollerHoang Nga NguyenMarkus RoggenbachSteve A. SchneiderHelen TreharnePublished in: Sci. Comput. Program. (2014)
Keyphrases
- real time
- motion model
- particle filter
- traffic management
- object tracking
- kalman filter
- appearance model
- visual tracking
- motion segmentation
- particle filtering
- motion tracking
- challenging sequences
- guide wire
- robust tracking
- kalman filtering
- human detection
- target object
- motion detection
- hidden markov models
- artificial intelligence
- genetic algorithm