Login / Signup
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs.
Guannan Wei
Oliver Bracevac
Songlin Jia
Yuyan Bao
Tiark Rompf
Published in:
CoRR (2023)
Keyphrases
</>
higher order
real time
particle filter
domain specific
natural images
high frequency
particle filtering
visual tracking
object oriented languages
motion model
object tracking
conditional random fields
state space
response time
kalman filter
appearance model
pairwise
moving target
video sequences