Login / Signup
Verification and validation procedure for high-definition maps in Taiwan.
Kai-Wei Chiang
Chi-Kuei Wang
Jung-Hong Hong
Pei-Ling Li
Chin-Sung Yang
Meng-Lun Tsai
Jeffrey Lee
Sean Lin
Published in:
Urban Inform. (2022)
Keyphrases
</>
high definition
real time
video coding
hd video
video communication
motion imagery
high resolution
multimedia processing
model checking
formal verification
mpeg avc
computer vision
bit rate
signature verification