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

Interacting with a multi AGV system 与多AGV系统交互

2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) Pub Date : 2015-11-02 DOI: 10.1109/ICCP.2015.7312641

E. Cardarelli, Lorenzo Sabattini, Valerio Digani, C. Secchi, C. Fantuzzi

引用次数: 7

Ship detection based on SVM using color and texture features 基于支持向量机的船舶颜色和纹理特征检测

2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) Pub Date : 2015-11-02 DOI: 10.1109/ICCP.2015.7312682

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 基于概率逆传感器模型的全向立体视觉系统数字高程图生成

2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) Pub Date : 2015-11-02 DOI: 10.1109/ICCP.2015.7312635

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 开发重型货车智能盲点检测系统

2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) Pub Date : 2015-11-02 DOI: 10.1109/ICCP.2015.7312674

P. Pyykonen, A. Virtanen, Arto Kyytinen

引用次数: 13

An enhanced approach to dynamic power management for the Linux cpuidle subsystem Linux cpuidle子系统动态电源管理的增强方法

2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) Pub Date : 2015-11-02 DOI: 10.1109/ICCP.2015.7312712

Andrei Roba, Z. Baruch

引用次数: 3

Verification of protocol specifications with Separation Logic 使用分离逻辑验证协议规范

2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) Pub Date : 2015-11-02 DOI: 10.1109/ICCP.2015.7312614

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 基于遗传算法的眼镜轮廓提取

2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) Pub Date : 2015-11-02 DOI: 10.1109/ICCP.2015.7312680

D. Borza, R. Danescu, A. Darabant

引用次数: 0

Semi-automated verdicts assignment for potentially malicious programs 半自动判定分配潜在的恶意程序

2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) Pub Date : 2015-11-02 DOI: 10.1109/ICCP.2015.7312616

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 基于立体视觉的交通场景高度限制障碍物检测

2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) Pub Date : 2015-11-02 DOI: 10.1109/ICCP.2015.7312631

Maria-Irina Barbu, Ion Giosan, T. Mariţa

引用次数: 0

A language independent user adaptable approach for word auto-completion 一种独立于语言的用户自适应的单词自动补全方法

2015 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) Pub Date : 2015-11-02 DOI: 10.1109/ICCP.2015.7312604

S. Prisca, R. Potolea, M. Dînsoreanu

引用次数: 1