56 citations · 177 across the 16 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.NI2018★ 5 cited
VeriFi: Model-Driven Runtime Verification Framework for Wireless Protocol Implementations
Jinghao Shi, Shuvendu Lahiri, Ranveer Chandra +1
Validating wireless protocol implementations is challenging. Today's approaches require labor-intensive experimental setup and manual trace investigation, but produce poor coverage…
cs.CV2018
Learning to Align Images using Weak Geometric Supervision
Jing Dong, Byron Boots, Frank Dellaert +2
Image alignment tasks require accurate pixel correspondences, which are usually recovered by matching local feature descriptors. Such descriptors are often derived using supervised…