Computer and information sciences topic list of research papers
-
A Testing Equivalence for Reactive Probabilistic Processes
Abstract We consider a generalisation of Larsen and Skou's [19] reactive probabilistic transition systems which exhibit three kinds of choice: action-guarded probabilistic choice, external (deterministic) and internal (non-deterministic) choice. We...
2004 / M.Z. Kwiatkowska, G.J. Norman -
Truck Backer-Upper Control Using Adaptive Critic Learning
Abstract Backing up a truck to a loading dock is a difficult nonlinear control problem. Interesting applications of backpropagation (BP) learning to solve this problem have been proposed. However, BP requires extensive training. In this paper, we...
2013 / M. Khorsheed, M.A. Al-Sulaiman -
Preface2013 / Barbora Buhnova, Lucia (Kapova) Happe, Jan Kofron
-
Circuit Switch Fallback Improvement and the Smarter Way for Implementation
Abstract Operators, all over the world, search for the latest technologies and facilities to attract more customers. The LTE is the newest mobile technology, dedicated mainly for high-speed data transfer, and having all the chances to replace the...
2013 / Youness Jouihri, Zouhair Guennoun -
A Design Tool for Service-oriented Systems
Abstract In this paper we present a modeling and analysis tool for service-oriented systems. The tool enables graphical modeling of service-based systems, within the resource-aware timed behavioral language Remes, as well as a textual system...
2013 / Eduard Paul Enoiu, Raluca Marinescu, Aida Čaušević, Cristina Seceleanu -
A Lyapunov-based Adaptive Control Law for an Electromagnetic Actuator
Abstract Electromagnetic devices in industrial systems are utilised for problems of positioning and tracking control. A direct adaptive non-linear control framework for a non-linear electromagnetic actuator is presented in this paper. Starting from...
2013 / Paolo Mercorelli -
Rapid Encryption Method based on AES Algorithm for Grey Scale HD Image Encryption
Abstract Ciphering is very important operation to preserve the confidentiality of digital images transmitted over public network spatially with rapidly growth in communication techniques. Advanced Encryption Standard (AES) is a famous and strong...
2014 / Salim M. Wadi, Nasharuddin Zainal -
Evaluating Machine Translation Quality Using Short Segments Annotations2015 / Matouš Macháček, Ondřej Bojar
-
Research and Reviews in Question Answering System
Abstract Question Answering (QA) Systems is an automated approach to retrieve correct responses to the questions asked by human in natural language. The fundamental thought behind QA system is to assist man-machine interaction. In this paper, we...
2014 / Sanjay K. Dwivedi, Vaishali Singh -
Sequential and Adaptive Learning Algorithms for M-Estimation2008 / Guang Deng
-
Design and Evaluation of a Web-based Dynamic Algorithm Visualization Environment for Novices
Abstract Teaching basic algorithmic concepts to novices is not an easy task. Existing research has given considerable information about students’ alternative conceptions and faulty mental models about abstract programming concepts and constructs, as ...
2014 / Euripides Vrachnos, Athanassios Jimoyiannis -
Plagiarism Detection for Java Programs without Source Codes
Abstract This paper presents a novel dynamic analysis approach to software plagiarism detection. Such an approach is inherently more resilient to code obfuscation techniques such as renaming of program entities, reordering of statements, etc. We...
2015 / V. Anjali, T.R. Swapna, Bharat Jayaraman -
Performance Evaluation of Interoperable Micro-clouds
Abstract The Internet of Things (IoT) is defined as a paradigm transforming physical objects to smart objects that are inter- connected via Internet. Today, IoT objects offer embedded intelligence that can be powerful in case of fully integration of ...
2013 / Stelios Sotiriadis, Eleana Asimakopoulou, Nik Bessis, Florin Pop, Valentin Cristea -
Personal Health Service Framework
Abstract In this paper, the Personal Health Service Framework (PHSF) is proposed which is an open architecture for developing patient-centric health applications and monitoring systems. PHSF uses new advancements of service-oriented architec- ture...
2013 / Shirin Ghorbani, Weichang Du -
Estimation Scheme of 22kV Overhead Lines Power System Using ANN
Abstract Designing the 22kV overhead lines is necessary to do by engineers with experience and this process is very complicate and takes long time because of it concerned with a lot of standards. Then this paper presents an Artificial Neural Network ...
2013 / Krischonme Bhumkittipich, Kuldacha Anukulphirom -
Modalities to Improve the Spinal Column Dysfunctions by using Some Complementary Kinetic Means
Abstract Sports medicine more and more often requires the use of complementary kinetic means for the prophylaxis and improvement of different dysfunctions at the spinal column level, but also in order to potentiate sports effectiveness. The present...
2014 / Leonard Acasandrei, Sabina Macovei -
Covariance structure regularization via entropy loss function
Abstract The need to estimate structured covariance matrices arises in a variety of applications and the problem is widely studied in statistics. A new method is proposed for regularizing the covariance structure of a given covariance matrix whose...
2013 / Lijing Lin, Nicholas J. Higham, Jianxin Pan -
A new design method based on firefly algorithm for IIR system identification problem
Abstract In this paper a population based evolutionary optimization methodology called firefly algorithm (FFA) is applied for the optimization of system coefficients of the infinite impulse response (IIR) system identification problem. FFA is...
2014 / P. Upadhyay, R. Kar, D. Mandal, S.P. Ghoshal -
A Light Weight Trust based Secure and Energy Efficient Clustering in Wireless Sensor Network: Honey Bee Mating Intelligence Approach
Abstract Acceptance of clustering network has extended the lifetime of wireless sensor networks, but it generates the operating cost of cluster head selection mechanism in network management. The honey bees mating process is a typical swarm based...
2014 / Rashmi Ranjan Sahoo, Moutushi Singh, Biswa Mohan Sahoo, Koushik Majumder, Sudhabindu Ray, et al. -
An Agile Method for Multiagent Software Engineering
Abstract The benefit of using software development methods should be a gain in regularity and clarity in software projects. Classical approaches are designed for medium to big team size with a distinctly separated and static role description...
2014 / Jaschar Domann, Sindy Hartmann, Michael Burkhardt, Alexander Barge, Sahin Albayrak