发布求助
文献互助 智能选刊 最新文献

2015 12th International Symposium on Programming and Systems (ISPS)最新文献

筛选
英文 中文
A probabilistic and timed verification approach of SysML state machine diagram 一种SysML状态机图的概率和时间验证方法
2015 12th International Symposium on Programming and Systems (ISPS) Pub Date : 2015-09-10 DOI: 10.1109/ISPS.2015.7245001
Abdelhakim Baouya, Djamal Bennouar, O. Mohamed, Samir Ouchani
{"title":"A probabilistic and timed verification approach of SysML state machine diagram","authors":"Abdelhakim Baouya, Djamal Bennouar, O. Mohamed, Samir Ouchani","doi":"10.1109/ISPS.2015.7245001","DOIUrl":"https://doi.org/10.1109/ISPS.2015.7245001","url":null,"abstract":"Timed-constrained and probabilistic verification approaches gain a great importance in system behavior validation. They enable the evaluation of system behavior according to the design requirements and ensure their correctness before any implementation. In this paper, we propose a probabilistic and timed verification framework of State Machine diagrams extended with time and probability features. The approach consists on mapping the extended State Machine diagram to its equivalent probabilistic timed automata that is expressed in PRISM language. To check the functional correctness of the system under test, the properties are expressed in PCTL temporal logic. We demonstrate the approach efficiency by analyzing performability properties on a Automatic Teller Machine (ATM) case study.","PeriodicalId":165465,"journal":{"name":"2015 12th International Symposium on Programming and Systems (ISPS)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133840434","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}
引用次数: 9
DNA multiple alignment problem with the new DiaWay algorithm DNA多重比对问题与新DiaWay算法
2015 12th International Symposium on Programming and Systems (ISPS) Pub Date : 2015-04-28 DOI: 10.1109/ISPS.2015.7245005
Athmane Seghier, Ibrahim Chegrane, Chahrazed Ighilaza
{"title":"DNA multiple alignment problem with the new DiaWay algorithm","authors":"Athmane Seghier, Ibrahim Chegrane, Chahrazed Ighilaza","doi":"10.1109/ISPS.2015.7245005","DOIUrl":"https://doi.org/10.1109/ISPS.2015.7245005","url":null,"abstract":"DiaWay is a new efficient and robust algorithm of Multiple as well as pairwise DNA alignment, it is an improvement and re-implementation of the well known DIALIGN approach. In this paper we present the different steps of our approach, from the diagonals extraction and indexation step, to the gathering of the fragments and gaps insertion step, passing through the sorting of the consistent diagonals set for the final alignment. We present two implementations of our approach, the first one called DiaWay 1.0, and the second one called DiaWay 2.0. The results of tests and analysis performed on benchmarks taken from BAliBASE and smart databases show the effectiveness and efficiency of our approach, comparing to DIALIGN 2.2 algorithm in term of execution time.","PeriodicalId":165465,"journal":{"name":"2015 12th International Symposium on Programming and Systems (ISPS)","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121100134","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
Classication of SNPs for breast cancer diagnosis using neural-network-based association rules 利用基于神经网络的关联规则对诊断乳腺癌的 SNP 进行分类
2015 12th International Symposium on Programming and Systems (ISPS) Pub Date : 2015-04-28 DOI: 10.1109/ISPS.2015.7244998
Aicha Boutorh, A. Guessoum
{"title":"Classication of SNPs for breast cancer diagnosis using neural-network-based association rules","authors":"Aicha Boutorh, A. Guessoum","doi":"10.1109/ISPS.2015.7244998","DOIUrl":"https://doi.org/10.1109/ISPS.2015.7244998","url":null,"abstract":"Medical diagnosis is a major area of current research in Machine Learning and Data Mining. Single Nucleotide Polymorphisms (SNPs) are an important source of the human genome variability and have thus been implicated in several human diseases, including cancer. Breast Cancer is the most common malignant tumour for women and has known a large spread during the past twenty years. To separate the tumorous samples from the normal ones, various techniques have been applied on SNP data. One of the major problems related to SNP data is the high number of features which makes the task of classification complex. In this paper, a new hybrid intelligent technique based on Association Rule Mining (ARM) and Neural Networks (NN) which uses an Evolutionary Algorithm (EA) is proposed to deal with the dimensionality problem for the diagnosis of breast cancer. ARM optimized by Grammatical Evolution (GE) is used to select the most informative features and reduce the dimensionality by extracting associations between SNPs, while NN is used for efficient classification. The proposed NN-GEARM approach has been applied on breast cancer SNP dataset obtained from the NCBI Gene Expression Omnibus (GEO) website. The created model has reached an accuracy of up to 90%.","PeriodicalId":165465,"journal":{"name":"2015 12th International Symposium on Programming and Systems (ISPS)","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127281146","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}
引用次数: 6
Web site classification based on URL and content: Algerian vs. non-Algerian case 基于URL和内容的网站分类:阿尔及利亚vs.非阿尔及利亚案例
2015 12th International Symposium on Programming and Systems (ISPS) Pub Date : 2015-04-28 DOI: 10.1109/ISPS.2015.7244974
Abdessamed Ouessai, Elberrichi Zakaria
{"title":"Web site classification based on URL and content: Algerian vs. non-Algerian case","authors":"Abdessamed Ouessai, Elberrichi Zakaria","doi":"10.1109/ISPS.2015.7244974","DOIUrl":"https://doi.org/10.1109/ISPS.2015.7244974","url":null,"abstract":"Web page classification based on topic or sentiments is a common application of web content mining techniques. In this paper we will present a novel application intended to identify the nation targeted by a specific web page. The aim is to be able to automatically distinguish websites targeting a specific nation, using both the URL and the content of a web page. In this paper we will address the issue of identifying Algerian-interest web pages using a machine learning approach. We will present the process of acquiring data for the supervised learning phase and adapting it into a usable dataset, as well as using it to construct three distinct classifiers using different parts of the data. The resulting classifiers have shown outstanding performances (up to F-score = 0.93) for such application.","PeriodicalId":165465,"journal":{"name":"2015 12th International Symposium on Programming and Systems (ISPS)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124266641","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
Image quality assessment scheme based on gradient similarity and color distortion 基于梯度相似度和颜色失真的图像质量评价方案
2015 12th International Symposium on Programming and Systems (ISPS) Pub Date : 2015-04-28 DOI: 10.1109/ISPS.2015.7244985
Z. A. Seghir, F. Hachouf
{"title":"Image quality assessment scheme based on gradient similarity and color distortion","authors":"Z. A. Seghir, F. Hachouf","doi":"10.1109/ISPS.2015.7244985","DOIUrl":"https://doi.org/10.1109/ISPS.2015.7244985","url":null,"abstract":"Image quality assessment (IQA) is important for numerous image processing measures, such as reproduction, restoration, enhancement, compression and acquisition. In this paper, a full-reference scheme for image quality assessment is proposed, which supplies more flexibility than previous methods in using edge similarity measure and color distortion. First, test and reference images are transformed using Gradient Scharr operator 5 × 5 and 3 × 3 mask. Secondly, we compute color distortion using YIQ color space. Then, the difference between the two images is calculated, which can be used to compute the whole error. Experimental comparisons demonstrate the effectiveness of the proposed method.","PeriodicalId":165465,"journal":{"name":"2015 12th International Symposium on Programming and Systems (ISPS)","volume":"482 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132131371","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
Context-aware adaptation for sustaining disaster management 可持续灾害管理的环境感知适应
2015 12th International Symposium on Programming and Systems (ISPS) Pub Date : 2015-04-28 DOI: 10.1109/ISPS.2015.7244980
A. Bouguessa, Leila A. Mebarki, B. Boudaa
{"title":"Context-aware adaptation for sustaining disaster management","authors":"A. Bouguessa, Leila A. Mebarki, B. Boudaa","doi":"10.1109/ISPS.2015.7244980","DOIUrl":"https://doi.org/10.1109/ISPS.2015.7244980","url":null,"abstract":"Disasters and emergencies are featured by their unexpected consequences on the human being life. Crisis Management Systems (CMS) handling them require effective collaboration between their services, and need dynamic adaptation at runtime when an execution context change occurs. To manage disasters, several approaches are proposed in the literature where few of them have advocated context-awareness as a solution to reduce and avoid disasters' consequences. By using specific platforms, each approach have addressed a particular concern of the disaster, and did not cover all its life-cycle phases; this fact does decreases the large-scale use of their proposals. This paper presents a context-aware dynamic adaptation approach that deals with the impact of context changes onto running service-based applications of a CMS. This approach is specified on the Service Component Architecture (SCA) and implemented with the FraSCAti Platform. A CMS example is unrolled to demonstrate what context-aware adaptation can do for disaster management.","PeriodicalId":165465,"journal":{"name":"2015 12th International Symposium on Programming and Systems (ISPS)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132231393","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
Combining a neural network with deterministic chaos theory using phase space reconstruction for daily rainfall-runoff forecasting 基于相空间重构的神经网络与确定性混沌理论相结合的日降雨径流预报
2015 12th International Symposium on Programming and Systems (ISPS) Pub Date : 2015-04-28 DOI: 10.1109/ISPS.2015.7244983
M. Chettih, Khaled Chorfi, K. Mouattah
{"title":"Combining a neural network with deterministic chaos theory using phase space reconstruction for daily rainfall-runoff forecasting","authors":"M. Chettih, Khaled Chorfi, K. Mouattah","doi":"10.1109/ISPS.2015.7244983","DOIUrl":"https://doi.org/10.1109/ISPS.2015.7244983","url":null,"abstract":"Chaotic analysis of hydrological series revealed the presence of chaotic structures. As such, a Chaotic Neural Network model was proposed for daily rainfall-runoff. The approach is based on the combination of the series generated by the reconstruction of the phase space according to the method of Takens, in an artificial neural network. The results are very encouraging and open the prospects for other intelligent hybrid models taking into account the long dependency and multiscale effect optimized by genetic algorithms.","PeriodicalId":165465,"journal":{"name":"2015 12th International Symposium on Programming and Systems (ISPS)","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124117159","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
Identification of trends for model based development of embedded systems 基于模型的嵌入式系统开发的趋势识别
2015 12th International Symposium on Programming and Systems (ISPS) Pub Date : 2015-04-28 DOI: 10.1109/ISPS.2015.7245004
M. Rashid, Muhammad Waseem Anwar, A. Khan
{"title":"Identification of trends for model based development of embedded systems","authors":"M. Rashid, Muhammad Waseem Anwar, A. Khan","doi":"10.1109/ISPS.2015.7245004","DOIUrl":"https://doi.org/10.1109/ISPS.2015.7245004","url":null,"abstract":"Model Based System Engineering (MBSE) approach has been frequently put in to practice for the development of embedded systems in order to achieve the business objectives like productivity and time-to-market factors. However, the selection of appropriate UML profile for system modeling is a complicated process. Furthermore, it is also critical to apply the appropriate model transformation technique to get the desired outputs. Therefore, keeping in view aforesaid challenges, this paper investigates the usage of UML and its SYSML/MARTE profiles for embedded system development through Systematic Literature Review (SLR). In addition, various model transformation techniques have also been analyzed and presented. It facilitates the researchers and practitioners of the domain to discover the latest MBSE trends for embedded systems development.","PeriodicalId":165465,"journal":{"name":"2015 12th International Symposium on Programming and Systems (ISPS)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127872466","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}
引用次数: 15
Using a growing probabilistic neural network to reinforce a semi supervised support vector machine 利用增长概率神经网络增强半监督支持向量机
2015 12th International Symposium on Programming and Systems (ISPS) Pub Date : 2015-04-28 DOI: 10.1109/ISPS.2015.7244990
Amel Hebboul, F. Hachouf, Amel Boulemnadjel
{"title":"Using a growing probabilistic neural network to reinforce a semi supervised support vector machine","authors":"Amel Hebboul, F. Hachouf, Amel Boulemnadjel","doi":"10.1109/ISPS.2015.7244990","DOIUrl":"https://doi.org/10.1109/ISPS.2015.7244990","url":null,"abstract":"In this paper, we propose to reinforce the Self-Training strategy in a semi-supervised learning by using a Growing Probabilistic Neural Network (GPNN) which combines clustering and classification. The main advantages of this neural network are the linkage between data topology preservation and classes representation by using the cluster posterior probabilities of classes. It is a constructive model without prior conditions such as a suitable number of neurons. A new neuron is inserted when new data are not represented by existing neurons. For the Self-Training strategy, we chose the Support Vector Machines (SVM) as classifier because the SVMs are a powerful machine learning technique based on the principle of structural risk minimization. The proposed approach has been tested on synthetic and real datasets. Obtained results are very promising.","PeriodicalId":165465,"journal":{"name":"2015 12th International Symposium on Programming and Systems (ISPS)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125478866","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
Adaptation of language model of information retrieval for empty answers problem in databases 数据库空答案问题信息检索语言模型的适配
2015 12th International Symposium on Programming and Systems (ISPS) Pub Date : 2015-04-28 DOI: 10.1109/ISPS.2015.7244977
Abdelhamid Chellal, Karima Amrouche
{"title":"Adaptation of language model of information retrieval for empty answers problem in databases","authors":"Abdelhamid Chellal, Karima Amrouche","doi":"10.1109/ISPS.2015.7244977","DOIUrl":"https://doi.org/10.1109/ISPS.2015.7244977","url":null,"abstract":"Information over the web is increasingly retrieved from relational databases in which the query language is based on exact matching, data fulfil completely the query or not. The results returned to the user contain only tuples that satisfy the conditions of the query. Thereby, the user can be confronted to the problem of empty answers in the case of too selective query. To overcome this problem, several approaches have been proposed in the literature in particularly those based on query conditions relaxation. Others works suggest the use of fuzzy sets theory to introduce a flexible queries. Another line of research proposes the adaptation of information retrieval (IR) approaches to get an approximate matching in databases. We discuss in this paper, an adaptation of language model of IR to deal with empty answers. The main idea behind our approach is that instead of returning an empty response to the user, a ranked list of tuples that have the most similar values to those specified in user's query is returned.","PeriodicalId":165465,"journal":{"name":"2015 12th International Symposium on Programming and Systems (ISPS)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125156083","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
下一页 尾页
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学术官方微信