2012 10th International Conference on Frontiers of Information Technology最新文献_第4页

Muhadith: A Cloud Based Distributed Expert System for Classification of Ahadith 圣训:一个基于云的分布式圣训分类专家系统

2012 10th International Conference on Frontiers of Information Technology Pub Date : 2012-12-17 DOI: 10.1109/FIT.2012.22

Kashif Bilal, S. Mohsin

{"title":"Muhadith: A Cloud Based Distributed Expert System for Classification of Ahadith","authors":"Kashif Bilal, S. Mohsin","doi":"10.1109/FIT.2012.22","DOIUrl":"https://doi.org/10.1109/FIT.2012.22","url":null,"abstract":"This paper presents a novel approach for the classification of the religious scriptures, the Hadith (sayings of Prophet Muhammad (plural Ahadith)). Muhadith is a distributed, Cloud based expert system that uses the Hadith science to classify Ahadith among 24 types from seven broad categories. Classification of the Hadith is a complex and sensitive task, and can only be performed by an expert of the Hadith sciences. Muhadith expert system is designed to imitate the Hadith experts for Hadith classification, and to enable a computer to behave like a Hadith expert to discriminate the authentic Ahadith from unauthentic ones. This paper presents the relationship and mapping of the expert system technology onto Hadith sciences, and technicalities involved in designing of the Muhadith expert system. We also propose solutions for the communicational and interoperability problems faced by the legacy web based distributed expert systems. We employ service oriented architecture to overcome the communicational problem and a candidature for the Software as a Service (SaaS) for the Cloud computing. The expert system also provides a reasoning facility that enables the user to look into the classification details. Muhadith expert system has been designed by merging the ideas from the domains of expert systems, Web technologies, and distributed computing systems. This type of an effort on the topic is rare and applying them in the domain of Hadith is our humble contribution.","PeriodicalId":166149,"journal":{"name":"2012 10th International Conference on Frontiers of Information Technology","volume":"390 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115903649","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}

引用次数: 33

An Efficient High Throughput FPGA Implementation of AES for Multi-gigabit Protocols 多千兆协议AES的高效高吞吐量FPGA实现

2012 10th International Conference on Frontiers of Information Technology Pub Date : 2012-12-17 DOI: 10.1109/FIT.2012.45

Ulfat Hussain, H. Jamal

引用次数: 23

Evolution of Prepaid Payment Processor's Software Architecture: An Empirical Study 预付支付处理器软件架构的演进:实证研究

2012 10th International Conference on Frontiers of Information Technology Pub Date : 2012-12-17 DOI: 10.1109/FIT.2012.41

A. H. Qureshi, Ali Afzal Malik

引用次数: 2

Control Oriented Mutation Testing for Detection of Potential Software Bugs 面向控制的突变测试，用于检测潜在的软件缺陷

2012 10th International Conference on Frontiers of Information Technology Pub Date : 2012-12-17 DOI: 10.1109/FIT.2012.15

Muhammad Bilal Bashir, A. Nadeem

{"title":"Control Oriented Mutation Testing for Detection of Potential Software Bugs","authors":"Muhammad Bilal Bashir, A. Nadeem","doi":"10.1109/FIT.2012.15","DOIUrl":"https://doi.org/10.1109/FIT.2012.15","url":null,"abstract":"An effective test case suite is one that has the potential to reveal real faults in the code. Mutation testing is a fault-based technique that helps measure the strength of test case set and to generate effective test cases. Faults are injected through pre-defined mutation operators and mutation score is a mean to calculate usefulness of test case set. Mutation testing approach suffers from two of its inherent issues, it is computationally expensive, second generation of equivalent mutants. Along with original program, every mutant has to be executed against all the test cases. An equivalent mutant always produces same output on original and mutant program for every possible test case. Program's behavior comprises of two kinds of information, control flow and data flow. Mutation testing techniques that have been proposed so far consider only data flow information and they ignore the importance of flow of control within the program. In this paper we propose a new approach that encourages using control flow information along with data flow information in mutation testing for detection of bugs. Bugs can hide themselves within equivalent mutants and in these scenarios control flow information can be quite useful to uncover them. Experiments show that using control flow information can help revealing potential bugs in the program.","PeriodicalId":166149,"journal":{"name":"2012 10th International Conference on Frontiers of Information Technology","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117261975","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

Optimization of Decision Making in CBR Based Self-Healing Systems 基于CBR的自愈系统决策优化

2012 10th International Conference on Frontiers of Information Technology Pub Date : 2012-12-17 DOI: 10.1109/FIT.2012.21

Saadia Nasir, Maria Taimoor, Hina Gul, Amina Ali, M. Khan

{"title":"Optimization of Decision Making in CBR Based Self-Healing Systems","authors":"Saadia Nasir, Maria Taimoor, Hina Gul, Amina Ali, M. Khan","doi":"10.1109/FIT.2012.21","DOIUrl":"https://doi.org/10.1109/FIT.2012.21","url":null,"abstract":"Autonomic systems are the software systems capable to manage themselves. These systems undergo a learning process to achieve this capability. Case-based reasoning (CBR) is one of the promising learning paradigms for autonomic managers. Autonomic managers monitor the pulse of the monitored system on periodic basis and analyze the captured state of the system. In case of a problematic state, autonomic managers use their CBR based decision support system to rectify the problem. One of the critical problems in such systems is recovery from failures. The problem of identifying the factors affecting the performance of CBR system is a key element to build successful and accurate decision support systems. For this purpose, a hybrid CBR based self-healing system supported by attribute selection methods has been proposed. An empirical investigation has been conducted in this paper using different similarity measures, solution adaptation methods and attribute selection techniques. To address the performance problem of CBR in self-healing systems, we have conducted experiments on an emulator of self-healing systems called RUIBiS using different machine learning techniques to determine the significance of weights for these similarity distances.","PeriodicalId":166149,"journal":{"name":"2012 10th International Conference on Frontiers of Information Technology","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123343066","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

Pilot-Scale Development of a UAV-UGV Hybrid with Air-Based UGV Path Planning 基于空基UGV路径规划的无人机-UGV混合飞行器的中试研制

2012 10th International Conference on Frontiers of Information Technology Pub Date : 2012-12-17 DOI: 10.1109/FIT.2012.43

Nikolas Giakoumidis, Jin U. Bak, Javier V. Gómez, Arber Llenga, N. Mavridis

{"title":"Pilot-Scale Development of a UAV-UGV Hybrid with Air-Based UGV Path Planning","authors":"Nikolas Giakoumidis, Jin U. Bak, Javier V. Gómez, Arber Llenga, N. Mavridis","doi":"10.1109/FIT.2012.43","DOIUrl":"https://doi.org/10.1109/FIT.2012.43","url":null,"abstract":"Traditionally, UAVs and Mobile Robots are viewed as two separate entities. However, upon closer examination of their synergies, a more unified conception of a closely-coupled system of the two could easily justify a view where both are just seen as separable parts of the body of a unitary hybrid symbiotic system -- essentially, one robotic entity, whose body parts can separate temporarily, and get together again later. In this paper, we will describe a prototype system consisting of a small-scale indoor pilot version of a much larger outdoors full scale system, as an illustration of this concept. Such indoor pilot versions have multiple advantages, as we shall show. In our prototype, a mobile robot UGV serves as a transport as well as recharge station for a lightweight quad-rotor UAV, while the UAV serves as a separable long-range vision system for the UGV, providing top-down views of its environment, which are stitched and transformed into maps, and which are utilized towards the navigation of the robot hybrid. Multiple avenues of extension of our system and the concept are also introduced, illustrating the power of the separable-body heterogeneous symbiotic multi-robot system concept.","PeriodicalId":166149,"journal":{"name":"2012 10th International Conference on Frontiers of Information Technology","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128941863","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}

引用次数: 14

A Web-based Framework for Compressed 3D Objects: Downloading and Rendering 基于web的压缩3D对象框架:下载和渲染

2012 10th International Conference on Frontiers of Information Technology Pub Date : 2012-12-17 DOI: 10.1109/FIT.2012.31

U. Ijaz, E. Quacchio, D. Alfonso

引用次数: 2

KeaKAT: An Online Automatic Keyphrase Assignment Tool KeaKAT:一个在线自动关键字分配工具

2012 10th International Conference on Frontiers of Information Technology Pub Date : 2012-12-17 DOI: 10.1109/FIT.2012.14

Rabia Irfan, Sharifullah Khan, Irfan Ali Khan, Muhammad Asif Ali

引用次数: 0

Content Based Video Retrieval Using Particle Swarm Optimization 基于粒子群优化的视频内容检索

2012 10th International Conference on Frontiers of Information Technology Pub Date : 2012-12-17 DOI: 10.1109/FIT.2012.23

A. Salahuddin, Al Naqvi, Kainat Murtaza, J. Akhtar

{"title":"Content Based Video Retrieval Using Particle Swarm Optimization","authors":"A. Salahuddin, Al Naqvi, Kainat Murtaza, J. Akhtar","doi":"10.1109/FIT.2012.23","DOIUrl":"https://doi.org/10.1109/FIT.2012.23","url":null,"abstract":"Traditional video search engines retrieve the results on the basis of correspondence between user's textual query and tags associated with the videos. Only that content that matches the tags is returned as a result to the user. Given the ever-increasing immensity of videos on the internet, especially those with zero or irrelevant tags, such traditional methodology has eventually led to rise in ratio of missing important context. Content based searching within a video library is definitely an alternative solution but it requires time consuming computations and comparisons which renders exhaustive search unpractical. The purpose of this paper is to provide an efficient methodology that will lead to incremental improvement in the video search results against a user's query image. Our method employs Particle Swarm Optimization (PSO), an evolutionary population based search algorithm, to look for frames within the video library. The fitness of each swarm particle is the degree of similarity with respect to the content present in both the input image provided by the user and the video frame(s) fetched through PSO. This exempts us from the exhaustive and linear search of every frame of every video in the library. The relative best match in each generation of PSO is shown to the user for his engagement. For calculating the fitness of each swarm particle we have tested three similarity measures, 1) correlation based template matching, 2) score from scale-invariant feature transform (SIFT) algorithm and, 3) convolution. Preliminary results on real video library are promising.","PeriodicalId":166149,"journal":{"name":"2012 10th International Conference on Frontiers of Information Technology","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116541189","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}

引用次数: 12

Robust Fault Detection Filter Design for Discrete Switched Linear Systems 离散开关线性系统鲁棒故障检测滤波器设计

2012 10th International Conference on Frontiers of Information Technology Pub Date : 2012-12-17 DOI: 10.1109/FIT.2012.29

Kamran Iftikhar, Abdul Qayyum Khan, M. Abid

引用次数: 2