19 citations · 19 across the 1 of their papers we have counts for
3 papers
cs.CY2020★ 19 cited
Artificial Intelligence for Digital Agriculture at Scale: Techniques, Policies, and Challenges
Somali Chaterji, Nathan DeLay, John Evans +4
Digital agriculture has the promise to transform agricultural throughput. It can do this by applying data science and engineering for mapping input factors to crop throughput, whil…
cs.NI2018
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…