Proceedings of the 3rd International Conference on Vision, Image and Signal Processing最新文献

筛选
英文 中文
Efficient Verification of Control Systems with Neural Network Controllers 神经网络控制器控制系统的有效验证
Guoqing Yang, Guangyi Qian, Pan Lv, Hong Li
{"title":"Efficient Verification of Control Systems with Neural Network Controllers","authors":"Guoqing Yang, Guangyi Qian, Pan Lv, Hong Li","doi":"10.1145/3387168.3387244","DOIUrl":"https://doi.org/10.1145/3387168.3387244","url":null,"abstract":"Recently, many state-of-art machine learning methods have been applied to Autonomous cyber-physical systems (CPS) which need high safe insurance. This paper develops an effective way to approximate the reachable set of a closed-loop discrete linear dynamic system with a Neural network(NN) controller, whose activation function is Rectified Linear Unit(ReLU). In our method, we choose SHERLOCK, a valid NN verification tool, to estimate the output set of NN and adopt initial state set partitioning to improve the total performance. The approach is evaluated on numerical examples and shows evident superiority to the method before refined.","PeriodicalId":346739,"journal":{"name":"Proceedings of the 3rd International Conference on Vision, Image and Signal Processing","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114181219","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Training Encrypted Models with Privacy-preserved Data on Blockchain 在b区块链上训练具有隐私保护数据的加密模型
Lifeng Liu, Yifan Hu, Jiawei Yu, Fengda Zhang, Gang Huang, Jun Xiao, Chao Wu
{"title":"Training Encrypted Models with Privacy-preserved Data on Blockchain","authors":"Lifeng Liu, Yifan Hu, Jiawei Yu, Fengda Zhang, Gang Huang, Jun Xiao, Chao Wu","doi":"10.1145/3387168.3387211","DOIUrl":"https://doi.org/10.1145/3387168.3387211","url":null,"abstract":"Currently, training neural networks often requires a large corpus of data from multiple parties. However, data owners are reluctant to share their sensitive data to third parties for modelling in many cases. Therefore, Federated Learning (FL) has arisen as an alternative to enable collaborative training of models without sharing raw data, by distributing modelling tasks to multiple data owners. Based on FL, we premodel sent a novel and decentralized approach to training encrypted models with privacy-preserved data on Blockchain. In our approach, Blockchain is adopted as the machine learning environment where different actors (i.e., the model provider, the data provider) collaborate on the training task. During the training process, an encryption algorithm is used to protect the privacy of data and the trained model. Our experiments demonstrate that our approach is practical in real-world applications.","PeriodicalId":346739,"journal":{"name":"Proceedings of the 3rd International Conference on Vision, Image and Signal Processing","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128236395","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Using Geomatics Techniques to Produce a Geospatial Database System for Geological Hazards in the Al-Salt Area 利用地理信息技术建立铝盐区地质灾害地理空间数据库系统
E. Fadda, A. Abulibdeh, Al Balushi
{"title":"Using Geomatics Techniques to Produce a Geospatial Database System for Geological Hazards in the Al-Salt Area","authors":"E. Fadda, A. Abulibdeh, Al Balushi","doi":"10.1145/3387168.3387170","DOIUrl":"https://doi.org/10.1145/3387168.3387170","url":null,"abstract":"In the Al-Salt area of Jordan, natural geological hazard events occur frequently because the area northeast of the Dead Sea is recognized as an active seismic zone. Therefore, using the cutting edge technology represented in this study by the geomatics techniques of remote sensing, GPS and GIS were become necessary and sufficient, that because there are many variables a several features to be mapped and store. This study was focused on faults and landslides because these are the dominant events in the study area. Satellite images, geological maps and topographic maps were used to produce GIS layers describing geological hazard elements. The mapped elements included faults, landslides and many other spatial features including lineaments, drainage patterns, road networks, vegetation, contour lines, slopes, aspects and residential areas. Faults, lineaments and landslide maps were extracted from the published geological map of the Al-Salt area (1:50 000 scale). Other features were extracted either from a topographic map or from satellite images of the study area. Digital image-processing techniques were performed on satellite images to enhance the required spatial features (i.e., faults and landslides). Several techniques were applied to the digital images, including false-color composite band ratio analysis, principal-component analysis and high-pass filtering. A Garmin hand-held GPS (model GPSMAP60CSx) was used to track and to map the city's recently constructed main ring road. The hand-held GPS was also used to locate positions of the faults and landslides in the study area. Finally, the produced GIS layers and their attributes were stored in a spatial GIS database using the Arc GIS software package. These layers could be used for retrieving data on the geological hazard elements and for producing a geological hazards map (or any other thematic map) for the Al-Salt area in Jordan.","PeriodicalId":346739,"journal":{"name":"Proceedings of the 3rd International Conference on Vision, Image and Signal Processing","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128083631","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Determining Lead-Lag Structure between Sentiment Index and Stock Price Returns 确定情绪指数与股价收益的超前-滞后结构
Alex Momotov, Xianghua Xie
{"title":"Determining Lead-Lag Structure between Sentiment Index and Stock Price Returns","authors":"Alex Momotov, Xianghua Xie","doi":"10.1145/3387168.3389115","DOIUrl":"https://doi.org/10.1145/3387168.3389115","url":null,"abstract":"This research contrasts and compares the state-of-the-art techniques of the two approaches within the domain of news sentiment analysis, as well as, investigates a novel document encoding representation of the 'TF-IDF momentum matrix'. The presented lexicon-based methodology is centred around Loughran & McDonald financial sentiment word lists and reaches 86.4% explained stock momentum variance, whereas the classification approach follows a thematic analysis pipeline implementing Latent Dirichlet Allocation and achieves that of 94.8%. As an additional element of model evaluation, the research implements Thermal Optimal Path method which relies on a dynamic programming approach for performance optimisation.","PeriodicalId":346739,"journal":{"name":"Proceedings of the 3rd International Conference on Vision, Image and Signal Processing","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133463069","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Development of Propulsion Systems for Exploration Missions towards Moon and Jupiter 月球和木星探测任务推进系统的发展
Timo Krone, M. Abele, M. Riehle
{"title":"Development of Propulsion Systems for Exploration Missions towards Moon and Jupiter","authors":"Timo Krone, M. Abele, M. Riehle","doi":"10.1145/3387168.3387225","DOIUrl":"https://doi.org/10.1145/3387168.3387225","url":null,"abstract":"Orbital exploration missions define very specific requirements and have high demands for propulsion systems to ensure the missions success. This paper provides an overview of the chemical propulsion system solutions and technologies developed by ArianeGroup for past and current exploration missions towards Moon and Jupiter. On the example of the JUICE and the European Lunar Lander missions it describes the solutions for mission specific challenges like the protection against harsh radiation environment, the applied precautions to ensure the magnetic cleanliness and the detailed hydraulic characterization of the liquid part of the propulsion system.","PeriodicalId":346739,"journal":{"name":"Proceedings of the 3rd International Conference on Vision, Image and Signal Processing","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133183805","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Federated Object Detection: Optimizing Object Detection Model with Federated Learning 联邦对象检测:用联邦学习优化对象检测模型
Peihua Yu, Yunfeng Liu
{"title":"Federated Object Detection: Optimizing Object Detection Model with Federated Learning","authors":"Peihua Yu, Yunfeng Liu","doi":"10.1145/3387168.3387181","DOIUrl":"https://doi.org/10.1145/3387168.3387181","url":null,"abstract":"Object detection with deep learning model has achieved good results in many fields, but in some fields that think highly of data privacy, such as medical care, its applications is greatly limited by data. And Federated Learning allows clients to train a model together, while leaving their data in the local, without sharing with the server or other clients. Using the methods of Federated Learning, such as Federated Averaging(FedAvg), to train models can provide privacy, security benefits. Nonetheless, there is little experiment applying Federated Learning algorithms to train the model with a large number of parameters, such as deep learning object detection model. With non-IID data, the accuracy of object detection model trained by FedAvg reduces significantly, and need more rounds to coverage. In this work, we use Kullback-Leibler divergence(KLD) measure the weights divergence between different model trained with non-IID data. And we propose a useful scheme to improve FedAvg based Abnormal Weights Supression, reducing the influence of the weights divergence caused by non-IID and unbalanced data. As a representative of object detection, we choose Single Shot MultiBox Detector(SSD) as the base model. The results of the experiments show that the Mean Average Precision(mAP) get obvious improvement in Pascal VOC 2007 test dataset.","PeriodicalId":346739,"journal":{"name":"Proceedings of the 3rd International Conference on Vision, Image and Signal Processing","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114173193","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 23
Low-Dose CT Reconstruction with Non-Local Functionals 非局部功能的低剂量CT重建
Ryosuke Ueda, H. Kudo
{"title":"Low-Dose CT Reconstruction with Non-Local Functionals","authors":"Ryosuke Ueda, H. Kudo","doi":"10.1145/3387168.3387248","DOIUrl":"https://doi.org/10.1145/3387168.3387248","url":null,"abstract":"In medical CT, the X-ray exposure dose reduction is expected. As a decrease in the dose, the image is degraded due to the noise. Therefore, the development of the noise reduction algorithm while maintaining image quality is an important issue. To suppress the noise, the penalized least squares method is effective. Recently, non-local total variation (NLTV) and non-local structure tensor TV (NLSTV) have been reported. These functional penalties have shown excellent denoising performance of the natural image. In this paper, we apply the functionals to the low-dose CT reconstruction problem. The reconstruction method and the comparison between TV, NLTV, and NLSTV are shown.","PeriodicalId":346739,"journal":{"name":"Proceedings of the 3rd International Conference on Vision, Image and Signal Processing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127224053","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Curiosity-Driven Exploration Effectiveness on Various Environments 好奇心驱动的探索在不同环境下的有效性
K. Charoenpitaks, Y. Limpiyakorn
{"title":"Curiosity-Driven Exploration Effectiveness on Various Environments","authors":"K. Charoenpitaks, Y. Limpiyakorn","doi":"10.1145/3387168.3387235","DOIUrl":"https://doi.org/10.1145/3387168.3387235","url":null,"abstract":"Hand Crafting Reward functions have never been scalable solutions for real world problems. The self-generated intrinsic rewards inspired by human curiosity may be one of scalable answers to solve sparse reward problem. The research thus investigated the effectiveness of some selected techniques based on the theory of curiosity-driven exploration. The Count-based, Prediction-based and other methods in total of six algorithms were experimented on various OpenAI gym environments. The results showed that the exploration algorithms have an impact on software agent in ability to find optimal solutions compared with the baseline in many cases. Still, there is no clear winner between the selected exploration methods and the best scalable exploration is not yet explored. The finding is that the added small intrinsic reward noise helps improve sample efficiency in the short run.","PeriodicalId":346739,"journal":{"name":"Proceedings of the 3rd International Conference on Vision, Image and Signal Processing","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126632465","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Improved algorithm for Phase Unwrapping with Continuous Submodular Minimization 基于连续次模最小化的相位展开改进算法
S. Lian, H. Kudo
{"title":"Improved algorithm for Phase Unwrapping with Continuous Submodular Minimization","authors":"S. Lian, H. Kudo","doi":"10.1145/3387168.3387247","DOIUrl":"https://doi.org/10.1145/3387168.3387247","url":null,"abstract":"The phase unwrapping is the process of attempting to reconstruct the true phase from modulo 2π phase values. This procedure requires that we have an important congruent constraint i.e. rewrapping unwrapped image should be identical to the original wrapped image. This constraint condition causes a discrete optimization problem. However, many methods have ignored this constraint condition to solve a continuous minimization problem directly, making it difficult to solve the solution correctly. We recently presented new continuous minimum norm method that is based on the Lovász extension. Our method can reach the optimal solution with the congruent constraint condition. Note that in our work, we have taken the subgradient method for minimization, but it is time consuming. In this paper, we introduce the incremental subgradient method to the minimization procedure, which is faster than the subgradient method. To solve the phase unwrapping, first, we also use the Lovász extension to transform the phase unwrapping problem to equivalent continuous minimization problem which consists of the sum of large numbers of component functions. Then we take the incremental subgradient method to solve the minimization problem in which operate on a single component at each iteration, rather than on the entire cost function. On the other hand, we also introduce new minimal function to deal with high lever noise. Several simulations show, compared with the subgradient method, the new algorithm only takes one quarter of (or less) the numbers of iteration for the convergence.","PeriodicalId":346739,"journal":{"name":"Proceedings of the 3rd International Conference on Vision, Image and Signal Processing","volume":"284 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115423230","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A Brief Overview of Waveforms for UAV Air-to-Ground Communication Systems 无人机空对地通信系统波形概述
Chaoxing Yan, Lingang Fu, Xiang Luo, Ming Chen
{"title":"A Brief Overview of Waveforms for UAV Air-to-Ground Communication Systems","authors":"Chaoxing Yan, Lingang Fu, Xiang Luo, Ming Chen","doi":"10.1145/3387168.3387203","DOIUrl":"https://doi.org/10.1145/3387168.3387203","url":null,"abstract":"Unmanned aerial vehicles (UAVs) have tremendous potential in both military and civilian applications. Due to the increasing demand for cost-efficient yet reliable small UAVs in a plethora of civilian applications, the technical advances in cooperative UAV systems have provided a boost for UAV communication network research. However, there is a paucity of surveys on the waveforms for UAV communications. This treatise is focused on the modulation techniques from the view of single- and multi-carrier transmission, and transmitter joint linearization for UAV air-to-ground (A2G) communication. We also provide insights into remaining challenge and open issues for the further development.","PeriodicalId":346739,"journal":{"name":"Proceedings of the 3rd International Conference on Vision, Image and Signal Processing","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116137622","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信