2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)最新文献

筛选
英文 中文
Interacting with a multi AGV system 与多AGV系统交互
E. Cardarelli, Lorenzo Sabattini, Valerio Digani, C. Secchi, C. Fantuzzi
{"title":"Interacting with a multi AGV system","authors":"E. Cardarelli, Lorenzo Sabattini, Valerio Digani, C. Secchi, C. Fantuzzi","doi":"10.1109/ICCP.2015.7312641","DOIUrl":"https://doi.org/10.1109/ICCP.2015.7312641","url":null,"abstract":"This paper introduces a novel Human Machine Interface (HMI) that allows users to interact with a fleet of Automated Guided Vehicles (AGVs) used for logistics operations in industrial environments. The interface is developed for providing operators with information regarding the fleet of AGVs, and the status of the industrial environment. Information is provided in an intuitive manner, utilizing a three-dimensional representation of the elements in the environment. The HMI also allows operators to influence the behavior of the fleet of AGVs, manually inserting missions to be accomplished.","PeriodicalId":158453,"journal":{"name":"2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125879555","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
Ship detection based on SVM using color and texture features 基于支持向量机的船舶颜色和纹理特征检测
Juan Ramon Anton Morillas, I. C. Garcia, U. Zölzer
{"title":"Ship detection based on SVM using color and texture features","authors":"Juan Ramon Anton Morillas, I. C. Garcia, U. Zölzer","doi":"10.1109/ICCP.2015.7312682","DOIUrl":"https://doi.org/10.1109/ICCP.2015.7312682","url":null,"abstract":"Nowadays, many applications related to maritime security and ship monitoring require a correct detection of ships. In the field of ship detection, different types of images are used depending on the application. Regarding high-resolution images, the variable characteristics of the sea environment often complicate a precise detection. These characteristics make the extraction of general properties from individual pixels difficult. To overcome this issue, a block division that divides the image into small blocks of pixels which represent small ship or non-ship regions is proposed. In contrast with a pixel approach, this block division characterizes better the properties of the regions and is more computationally efficient. For the classification of blocks, a supervised learning algorithm Support Vector Machine (SVM) is trained using color and texture features extracted from the blocks. On one hand, color features describe the chromatic characteristics of these regions. On the other hand, texture features provide information about the spatial distribution of pixels. Once the classification is performed, ship detection is improved using a reconstruction algorithm, which corrects most wrong classified blocks and extracts the detected ships. The combination of color and texture features achieves the highest precision, up to 96.98%, in the classification between ship blocks and non-ship blocks, and up to 98.14% in the final ship detection.","PeriodicalId":158453,"journal":{"name":"2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123962643","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}
引用次数: 17
Probabilistic inverse sensor model based Digital Elevation Map creation for an omnidirectional stereovision system 基于概率逆传感器模型的全向立体视觉系统数字高程图生成
Szilard Mandici, S. Nedevschi
{"title":"Probabilistic inverse sensor model based Digital Elevation Map creation for an omnidirectional stereovision system","authors":"Szilard Mandici, S. Nedevschi","doi":"10.1109/ICCP.2015.7312635","DOIUrl":"https://doi.org/10.1109/ICCP.2015.7312635","url":null,"abstract":"The objective of the paper is to present an original solution for building a high accuracy Digital Elevation Map (DEM), from down-looking omnidirectional stereo system data, used for surrounding perception. For this reason, an accurate probabilistic inverse sensor model of the omnidirectional stereo sensor is estimated based on training data. The obtained model considers not only the Gaussian spread of 3D points but also the systematic translations and errors from the calibration and rectification processes. The inverse sensor model is obtained by calculating the prior probabilities of 3D points corresponding to each DEM cell and the direct sensor model, describing the way measurements are acquired. The direct sensor model is calculated using an umbrella based modified Shepard trilinear interpolation of individual measurements in space. The results of the interpolation (σx, σy, σz, μx, μy, μz,) are stored in a 3D lookup table which performs a discretization of 3D space into cuboids. For each 3D point the probability of correspondence to the neighboring cells is calculated and the obtained values are added to the height histogram of each cell. Instead of adding to a single bucket in the histogram, the contribution is spread based on the standard deviation of the height. In order to increase the contribution of individual points in sparse areas and to decrease it in dense areas, the relative density of 3D points in local patches is precomputed and is used as a decreasing exponential term. Based on the obtained models, an improved DEM creation algorithm is applied. The obtained elevation map provides better results both in terms of accuracy and detection rate.","PeriodicalId":158453,"journal":{"name":"2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134273906","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
Developing intelligent Blind Spot Detection system for Heavy Goods Vehicles 开发重型货车智能盲点检测系统
P. Pyykonen, A. Virtanen, Arto Kyytinen
{"title":"Developing intelligent Blind Spot Detection system for Heavy Goods Vehicles","authors":"P. Pyykonen, A. Virtanen, Arto Kyytinen","doi":"10.1109/ICCP.2015.7312674","DOIUrl":"https://doi.org/10.1109/ICCP.2015.7312674","url":null,"abstract":"Collisions between Heavy Goods Vehicle and Vulnerable Road Users such as cyclists or pedestrians often result in severe injuries of the weaker road users. Blind Spot Mirrors and advanced Blind Spot Detection systems assist in avoiding collisions. Blind Spot Mirrors are however only useful if the drivers are trained to use them. The paper describes the development of a monitoring solution for assist in truck driver training. The system also can be used as a blind spot detection system to warn truck drivers. The work is performed within the DESERVE project, which aims at designing and developing a Tool Platform for embedded Advanced Driver Assistance Systems (ADAS) to exploit the benefits of cross-domain software reuse, standardised interfaces, and easy and safety-compliant integration of heterogeneous modules to cope with the expected increase of functions complexity and the impellent need of cost reduction.","PeriodicalId":158453,"journal":{"name":"2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134450564","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}
引用次数: 13
An enhanced approach to dynamic power management for the Linux cpuidle subsystem Linux cpuidle子系统动态电源管理的增强方法
Andrei Roba, Z. Baruch
{"title":"An enhanced approach to dynamic power management for the Linux cpuidle subsystem","authors":"Andrei Roba, Z. Baruch","doi":"10.1109/ICCP.2015.7312712","DOIUrl":"https://doi.org/10.1109/ICCP.2015.7312712","url":null,"abstract":"This paper presents an enhanced approach for improving the prediction efficiency of the processor idle state selection of the cpuidle subsystem in the Linux kernel. Two methods for improving the prediction rate of processor idle states are proposed. The first is based on reinforcement learning and the second is based on the recent history of idle states. Their individual performance upon real workloads is analyzed and a comparison between them and the existing implementation is performed. A variant of the history based approach is implemented and benchmarked using a modified kernel. The obtained results show that there is room for improvement regarding the processor idle state management. These results suggest that with little overhead the hit rate of the predictor can be boosted and thus less power consumption can be achieved.","PeriodicalId":158453,"journal":{"name":"2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131652093","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
Verification of protocol specifications with Separation Logic 使用分离逻辑验证协议规范
T. Kiss, Florin Craciun, B. Pârv
{"title":"Verification of protocol specifications with Separation Logic","authors":"T. Kiss, Florin Craciun, B. Pârv","doi":"10.1109/ICCP.2015.7312614","DOIUrl":"https://doi.org/10.1109/ICCP.2015.7312614","url":null,"abstract":"Despite their popularity, distributed programs remain a major challenge for the computer software verification. The need for methods for assuring safe interactions in such software systems is recognized. In the last few years, several new approaches have been proposed to solve the problem. Recent works have focused on developing behavior type systems to enforce the correct implementation of protocols, but this type systems are developed for languages with first class primitives for linear communication channels and communication-oriented control flow. In general for GPLs (general purpose programming languages), it is difficult to guarantee the correct implementation of protocol. In this paper, we propose to present an automated verification mechanism to ensure the protocol implementation correctness with respect to a session type specification. To support automatic verification, we design an entailment checking procedure which can handle the verification of a general purpose imperative programming language. Our theory establishes a framework for semantically precise enforcement of protocols, by extending the Separation Logic static analysis technique with a protocol verification mechanism.","PeriodicalId":158453,"journal":{"name":"2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131828477","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
Eyeglasses contour extraction using genetic algorithms 基于遗传算法的眼镜轮廓提取
D. Borza, R. Danescu, A. Darabant
{"title":"Eyeglasses contour extraction using genetic algorithms","authors":"D. Borza, R. Danescu, A. Darabant","doi":"10.1109/ICCP.2015.7312680","DOIUrl":"https://doi.org/10.1109/ICCP.2015.7312680","url":null,"abstract":"This paper presents an eyeglasses contour extraction method that uses genetic algorithms to find the exact shape of the lenses. An efficient shape description, based on Fourier coefficients, is used to represent the shape of the eyeglasses, allowing a wide range of shapes to be represented with a small number of parameters. The proposed method does not require the position of the eyes to be known in advance. The conducted experiments demonstrate the effectiveness of the proposed solution.","PeriodicalId":158453,"journal":{"name":"2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)","volume":"144 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132577465","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
Semi-automated verdicts assignment for potentially malicious programs 半自动判定分配潜在的恶意程序
Ciprian Oprișa, George Cabau, G. Sebestyen
{"title":"Semi-automated verdicts assignment for potentially malicious programs","authors":"Ciprian Oprișa, George Cabau, G. Sebestyen","doi":"10.1109/ICCP.2015.7312616","DOIUrl":"https://doi.org/10.1109/ICCP.2015.7312616","url":null,"abstract":"Deciding if a given program is malicious or not is a recurring problem in anti-malware research, giving the fact that it is generally undecidable. Although field experts are able to perform correct classifications, the amount of both clean and malicious samples that appear every day is too high for relying only on manual analysis. In practice, the files collections are clustered and intensive analysis is performed only on a couple of representatives for each cluster. Some insights about each file can also be provided by automated analysis tools but they are less reliable than human experts. Based on the assumption that similar programs are likely to share the same verdict, we propose an algorithm for verdicts inference that is able to auto-correct wrong verdicts or request further manual analysis if auto-correction is not possible. The algorithm considers all the available sources of information together with their reliability and assigns verdicts to all the samples in the cluster. The system was tested on a collection of more than 200000 clusters built using the single linkage approach on a collection of over 20 million samples.","PeriodicalId":158453,"journal":{"name":"2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132584850","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
Height restriction barriers detection from traffic scenarios using stereo-vision 基于立体视觉的交通场景高度限制障碍物检测
Maria-Irina Barbu, Ion Giosan, T. Mariţa
{"title":"Height restriction barriers detection from traffic scenarios using stereo-vision","authors":"Maria-Irina Barbu, Ion Giosan, T. Mariţa","doi":"10.1109/ICCP.2015.7312631","DOIUrl":"https://doi.org/10.1109/ICCP.2015.7312631","url":null,"abstract":"Height restriction barriers detection is important usually for trucks' driving assistance systems. In this paper we propose a novel approach that uses stereo-vision and combines intensity and depth information for height barriers detection and tracking. High quality stereo-reconstruction is carried out by the SORT-SGM algorithm. Canny edges are extracted from 2D intensity image and filtered out by the 3D information. Horizontal lines are determined using the Hough transformation on the filtered edges and then validated by an intensity correlation approach taking into consideration that usually height restriction barriers have a repetitive textural pattern. Neighboring lines are clustered together in order to form the barrier region of interest. The height of the barrier is also approximated from the 3D points that belong to the barrier's region of interest. SURF features are extracted for the detected barriers from the intensity image and used for tracking them across frames. The whole height restriction barriers detection system performs real time with high accuracy results.","PeriodicalId":158453,"journal":{"name":"2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129332525","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
A language independent user adaptable approach for word auto-completion 一种独立于语言的用户自适应的单词自动补全方法
S. Prisca, R. Potolea, M. Dînsoreanu
{"title":"A language independent user adaptable approach for word auto-completion","authors":"S. Prisca, R. Potolea, M. Dînsoreanu","doi":"10.1109/ICCP.2015.7312604","DOIUrl":"https://doi.org/10.1109/ICCP.2015.7312604","url":null,"abstract":"In this paper, we address the problem of word auto-completion for free text (e.g. messages, emails, articles, poems, etc.) written in different languages. We focus on improving the user experience by developing a user-oriented model that is able to learn different writing styles, while still providing initial predictions without any user written documents. We show that by learning from the user, the performance of an auto-completion system can be improved by up to 18% compared to a generic, not user-adaptable approach. In order to keep query processing times low, we deploy a binary search technique that retrieves groups of words from an inverted index based on their first letters. This retrieval method reduces the query processing time by up to 80%.","PeriodicalId":158453,"journal":{"name":"2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130666700","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
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学术官方微信