{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T06:28:24Z","timestamp":1778048904061,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,17]],"date-time":"2021-10-17T00:00:00Z","timestamp":1634428800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,10,20]]},"DOI":"10.1145\/3486607.3486750","type":"proceedings-article","created":{"date-parts":[[2021,10,16]],"date-time":"2021-10-16T00:11:33Z","timestamp":1634343093000},"page":"56-67","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["SkyQuery: an aerial drone video sensing platform"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1100-4192","authenticated-orcid":false,"given":"Favyen","family":"Bastani","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Songtao","family":"He","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ziwen","family":"Jiang","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9990-7566","authenticated-orcid":false,"given":"Osbert","family":"Bastani","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sam","family":"Madden","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,10,17]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3131672.3136986"},{"key":"e_1_3_2_2_2_1","volume-title":"Simple Online and Realtime Tracking. In IEEE International Conference on Image Processing (ICIP).","author":"Bewley Alex","year":"2016","unstructured":"Alex Bewley , Zongyuan Ge , Lionel Ott , Fabio Ramos , and Ben Upcroft . 2016 . Simple Online and Realtime Tracking. In IEEE International Conference on Image Processing (ICIP). Alex Bewley, Zongyuan Ge, Lionel Ott, Fabio Ramos, and Ben Upcroft. 2016. Simple Online and Realtime Tracking. In IEEE International Conference on Image Processing (ICIP)."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2906388.2906410"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.3390\/rs70404026"},{"key":"e_1_3_2_2_5_1","unstructured":"City of Cambridge. 2019. Metered Parking Spaces. https:\/\/data.cambridgema.gov\/Traffic-Parking-and-Transportation\/Metered-Parking-Spaces\/6h7q-rwhf  City of Cambridge. 2019. Metered Parking Spaces. https:\/\/data.cambridgema.gov\/Traffic-Parking-and-Transportation\/Metered-Parking-Spaces\/6h7q-rwhf"},{"key":"e_1_3_2_2_6_1","unstructured":"City of San Diego. 2018. Parking Meters Transactions. https:\/\/data.sandiego.gov\/datasets\/parking-meters-transactions\/  City of San Diego. 2018. Parking Meters Transactions. https:\/\/data.sandiego.gov\/datasets\/parking-meters-transactions\/"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3197768.3197772"},{"key":"e_1_3_2_2_8_1","unstructured":"DSLR Pros. 2019. Search and Rescue Drones. https:\/\/www.dslrpros.com\/sar-drones.html  DSLR Pros. 2019. Search and Rescue Drones. https:\/\/www.dslrpros.com\/sar-drones.html"},{"key":"e_1_3_2_2_9_1","volume-title":"International Symposium on Mobile Mapping Technology. 1000","author":"Eugster Hannes","year":"2007","unstructured":"Hannes Eugster and Stephan Nebiker . 2007 . Geo-registration of Video Sequences Captured from Mini UAVs . In International Symposium on Mobile Mapping Technology. 1000 , 1\u20138. Hannes Eugster and Stephan Nebiker. 2007. Geo-registration of Video Sequences Captured from Mini UAVs. In International Symposium on Mobile Mapping Technology. 1000, 1\u20138."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.patcog.2014.01.005"},{"key":"e_1_3_2_2_11_1","unstructured":"Google Inc. 2019. Google OR-Tools. https:\/\/developers.google.com\/optimization\/  Google Inc. 2019. Google OR-Tools. https:\/\/developers.google.com\/optimization\/"},{"key":"e_1_3_2_2_12_1","volume-title":"Mask R-CNN. In IEEE International Conference on Computer Vision (ICCV).","author":"He Kaiming","year":"2017","unstructured":"Kaiming He , Georgia Gkioxari , Piotr Dollar , and Ross Girshick . 2017 . Mask R-CNN. In IEEE International Conference on Computer Vision (ICCV). Kaiming He, Georgia Gkioxari, Piotr Dollar, and Ross Girshick. 2017. Mask R-CNN. In IEEE International Conference on Computer Vision (ICCV)."},{"key":"e_1_3_2_2_13_1","volume-title":"Moving Objects Detection and Tracking Framework for UAV-based Surveillance. In 2010 Fourth Pacific-Rim Symposium on Image and Video Technology. 456\u2013461","author":"Nur Ibrahim Aryo Wiman","year":"2010","unstructured":"Aryo Wiman Nur Ibrahim , Pang Wee Ching , GL Gerald Seet , WS Michael Lau , and Witold Czajewski . 2010 . Moving Objects Detection and Tracking Framework for UAV-based Surveillance. In 2010 Fourth Pacific-Rim Symposium on Image and Video Technology. 456\u2013461 . Aryo Wiman Nur Ibrahim, Pang Wee Ching, GL Gerald Seet, WS Michael Lau, and Witold Czajewski. 2010. Moving Objects Detection and Tracking Framework for UAV-based Surveillance. In 2010 Fourth Pacific-Rim Symposium on Image and Video Technology. 456\u2013461."},{"key":"e_1_3_2_2_14_1","volume-title":"Challenges and Opportunities in DNN-Based Video Analytics: A Demonstration of the BlazeIt Video Query Engine. In Conference on Innovative Data Systems Research (CIDR).","author":"Kang Daniel","year":"2019","unstructured":"Daniel Kang , Peter Bailis , and Matei Zaharia . 2019 . Challenges and Opportunities in DNN-Based Video Analytics: A Demonstration of the BlazeIt Video Query Engine. In Conference on Innovative Data Systems Research (CIDR). Daniel Kang, Peter Bailis, and Matei Zaharia. 2019. Challenges and Opportunities in DNN-Based Video Analytics: A Demonstration of the BlazeIt Video Query Engine. In Conference on Innovative Data Systems Research (CIDR)."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.14778\/3137628.3137664"},{"key":"e_1_3_2_2_16_1","volume-title":"TeCoLa: A Programming Framework for Dynamic and Heterogeneous Robotic Teams. In International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MOBIQUITOUS).","author":"Koutsoubelias Manos","year":"2016","unstructured":"Manos Koutsoubelias and Spyros Lalis . 2016 . TeCoLa: A Programming Framework for Dynamic and Heterogeneous Robotic Teams. In International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MOBIQUITOUS). Manos Koutsoubelias and Spyros Lalis. 2016. TeCoLa: A Programming Framework for Dynamic and Heterogeneous Robotic Teams. In International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MOBIQUITOUS)."},{"key":"e_1_3_2_2_17_1","volume-title":"Optimized Vision-Directed Deployment of UAVs for Rapid Traffic Monitoring. In IEEE International Conference on Consumer Electronics (ICCE).","author":"Kyrkou Christos","year":"2018","unstructured":"Christos Kyrkou , Stelios Timotheou , Panayiotis Kolios , Theocharis Theocharides , and Christos G Panayiotou . 2018 . Optimized Vision-Directed Deployment of UAVs for Rapid Traffic Monitoring. In IEEE International Conference on Consumer Electronics (ICCE). Christos Kyrkou, Stelios Timotheou, Panayiotis Kolios, Theocharis Theocharides, and Christos G Panayiotou. 2018. Optimized Vision-Directed Deployment of UAVs for Rapid Traffic Monitoring. In IEEE International Conference on Consumer Electronics (ICCE)."},{"key":"e_1_3_2_2_18_1","volume-title":"Dolphin: A Task Orchestration Language for Autonomous Vehicle Networks. In IEEE International Conference on Intelligent Robots and Systems (IROS).","author":"Lima Keila","year":"2018","unstructured":"Keila Lima , Eduardo RB Marques , Jos\u00e9 Pinto , and Joao B Sousa . 2018 . Dolphin: A Task Orchestration Language for Autonomous Vehicle Networks. In IEEE International Conference on Intelligent Robots and Systems (IROS). Keila Lima, Eduardo RB Marques, Jos\u00e9 Pinto, and Joao B Sousa. 2018. Dolphin: A Task Orchestration Language for Autonomous Vehicle Networks. In IEEE International Conference on Intelligent Robots and Systems (IROS)."},{"key":"e_1_3_2_2_19_1","volume-title":"Accelerating Machine Learning Inference with Probabilistic Predicates. In International Conference on Management of Data (SIGMOD).","author":"Lu Yao","year":"2018","unstructured":"Yao Lu , Aakanksha Chowdhery , Srikanth Kandula , and Surajit Chaudhuri . 2018 . Accelerating Machine Learning Inference with Probabilistic Predicates. In International Conference on Management of Data (SIGMOD). Yao Lu, Aakanksha Chowdhery, Srikanth Kandula, and Surajit Chaudhuri. 2018. Accelerating Machine Learning Inference with Probabilistic Predicates. In International Conference on Management of Data (SIGMOD)."},{"key":"e_1_3_2_2_20_1","volume-title":"Proceedings of Imaging Understanding Workshop.","author":"Lucas Bruce D","year":"1981","unstructured":"Bruce D Lucas and Takeo Kanade . 1981 . An Iterative Image Registration Technique with an Application to Stereo Vision . Proceedings of Imaging Understanding Workshop. Bruce D Lucas and Takeo Kanade. 1981. An Iterative Image Registration Technique with an Application to Stereo Vision. Proceedings of Imaging Understanding Workshop."},{"key":"e_1_3_2_2_21_1","volume-title":"Team-level Programming of Drone Sensor Networks. In ACM Conference on Embedded Network Sensor Systems (SenSys).","author":"Mottola Luca","year":"2014","unstructured":"Luca Mottola , Mattia Moretta , Kamin Whitehouse , and Carlo Ghezzi . 2014 . Team-level Programming of Drone Sensor Networks. In ACM Conference on Embedded Network Sensor Systems (SenSys). Luca Mottola, Mattia Moretta, Kamin Whitehouse, and Carlo Ghezzi. 2014. Team-level Programming of Drone Sensor Networks. In ACM Conference on Embedded Network Sensor Systems (SenSys)."},{"key":"e_1_3_2_2_22_1","volume-title":"Buzz: An Extensible Programming Language for Heterogeneous Swarm Robotics. In IEEE International Conference on Intelligent Robots and Systems (IROS).","author":"Pinciroli Carlo","year":"2016","unstructured":"Carlo Pinciroli and Giovanni Beltrame . 2016 . Buzz: An Extensible Programming Language for Heterogeneous Swarm Robotics. In IEEE International Conference on Intelligent Robots and Systems (IROS). Carlo Pinciroli and Giovanni Beltrame. 2016. Buzz: An Extensible Programming Language for Heterogeneous Swarm Robotics. In IEEE International Conference on Intelligent Robots and Systems (IROS)."},{"key":"e_1_3_2_2_23_1","unstructured":"Joseph Redmon and Ali Farhadi. 2018. YOLOv3: An Incremental Improvement.  Joseph Redmon and Ali Farhadi. 2018. YOLOv3: An Incremental Improvement."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.5194\/tc-9-1-2015"},{"key":"e_1_3_2_2_25_1","volume-title":"Forest Service, Forest Products Laboratory","author":"Seo Junwon","unstructured":"Junwon Seo , James P. Wacker , and Luis Duque . 2018. Evaluating the use of drones for timber bridge inspection. U.S. Department of Agriculture , Forest Service, Forest Products Laboratory , Madison, WI . 1\u2013152. Junwon Seo, James P. Wacker, and Luis Duque. 2018. Evaluating the use of drones for timber bridge inspection. U.S. Department of Agriculture, Forest Service, Forest Products Laboratory, Madison, WI. 1\u2013152."},{"key":"e_1_3_2_2_26_1","first-page":"3505","article-title":"GCNv2: Efficient correspondence prediction for real-time SLAM","volume":"4","author":"Tang Jiexiong","year":"2019","unstructured":"Jiexiong Tang , Ludvig Ericson , John Folkesson , and Patric Jensfelt . 2019 . GCNv2: Efficient correspondence prediction for real-time SLAM . IEEE Robotics and Automation Letters , 4 , 4 (2019), 3505 \u2013 3512 . Jiexiong Tang, Ludvig Ericson, John Folkesson, and Patric Jensfelt. 2019. GCNv2: Efficient correspondence prediction for real-time SLAM. IEEE Robotics and Automation Letters, 4, 4 (2019), 3505\u20133512.","journal-title":"IEEE Robotics and Automation Letters"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"crossref","unstructured":"Paolo Toth and Daniele Vigo. 2002. The Vehicle Routing Problem. SIAM.  Paolo Toth and Daniele Vigo. 2002. The Vehicle Routing Problem. SIAM.","DOI":"10.1137\/1.9780898718515"},{"key":"e_1_3_2_2_28_1","volume-title":"Simoncelli","author":"Wang Zhou","year":"2004","unstructured":"Zhou Wang , Alan C. Bovik , Hamid R. Sheikh , and Eero P . Simoncelli . 2004 . Image Quality Assessment: From Error Visibility to Structural Similarity. In IEEE Transactions on Image Processing . Zhou Wang, Alan C. Bovik, Hamid R. Sheikh, and Eero P. Simoncelli. 2004. Image Quality Assessment: From Error Visibility to Structural Similarity. In IEEE Transactions on Image Processing."},{"key":"e_1_3_2_2_29_1","volume-title":"Predictive Navigation and Computer Vision. In IEEE Aerospace Conference.","author":"Ward Sean","year":"2016","unstructured":"Sean Ward , Jordon Hensler , Bilal Alsalam , and Luis Felipe Gonzalez . 2016 . Autonomous UAVs Wildlife Detection Using Thermal Imaging , Predictive Navigation and Computer Vision. In IEEE Aerospace Conference. Sean Ward, Jordon Hensler, Bilal Alsalam, and Luis Felipe Gonzalez. 2016. Autonomous UAVs Wildlife Detection Using Thermal Imaging, Predictive Navigation and Computer Vision. In IEEE Aerospace Conference."}],"event":{"name":"SPLASH '21: Software for Humanity","location":"Chicago IL USA","acronym":"SPLASH '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3486607.3486750","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3486607.3486750","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:39Z","timestamp":1750193319000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3486607.3486750"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,17]]},"references-count":29,"alternative-id":["10.1145\/3486607.3486750","10.1145\/3486607"],"URL":"https:\/\/doi.org\/10.1145\/3486607.3486750","relation":{},"subject":[],"published":{"date-parts":[[2021,10,17]]},"assertion":[{"value":"2021-10-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}