{"title":"Proceedings of the 4th World Symposium on Software Engineering","authors":"","doi":"10.1145/3568364","DOIUrl":null,"url":null,"abstract":"The proceedings contain 27 papers. The topics discussed include: behavior recognition network for small target vehicle based on attention mechanism;a multi-view matching method based on PatchmatchNet with sparse point information;vehicle tracking method based on pyramid layered optical flow network;a new type of unmanned aerial vehicle visualization application algorithm: pesticides are effectively used when spraying;an intelligent evaluation system of air traffic control training simulator under special situation;quantified assertion verification method for non-linear arithmetic and mutable data structures;improving code completion by sequence features and structural features;design and implementation of COVID-19 prevention and control management system based on spring cloud;and re-imagining computer laboratories for teaching introductory programming concepts using web-based integrated development environments: opportunities and challenges.","PeriodicalId":262799,"journal":{"name":"Proceedings of the 4th World Symposium on Software Engineering","volume":"79 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 4th World Symposium on Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3568364","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
The proceedings contain 27 papers. The topics discussed include: behavior recognition network for small target vehicle based on attention mechanism;a multi-view matching method based on PatchmatchNet with sparse point information;vehicle tracking method based on pyramid layered optical flow network;a new type of unmanned aerial vehicle visualization application algorithm: pesticides are effectively used when spraying;an intelligent evaluation system of air traffic control training simulator under special situation;quantified assertion verification method for non-linear arithmetic and mutable data structures;improving code completion by sequence features and structural features;design and implementation of COVID-19 prevention and control management system based on spring cloud;and re-imagining computer laboratories for teaching introductory programming concepts using web-based integrated development environments: opportunities and challenges.