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}
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}
{"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}
{"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}
{"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}
{"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}
{"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}
{"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}
{"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}
{"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}