Computer and information sciences topic list of research papers
-
A Comparison of Certain Representations of Regularly Closed Sets
Abstract Ziegler [8] collected and systematically compared many different ways of describing regularly closed subsets of Euclidean spaces. We analyse in more detail the relationship between an especially weak kind of representation of regularly...
2004 / Peter Hertling -
Towards a Strand Semantics for Authentication Logic
Abstract The logic BAN was developed in the late eighties to reason about authenticated key establishment protocols. It uncovered many flaws and properties of protocols, thus generating lots of attention in protocol analysis. BAN itself was also...
2004 / Paul Syverson -
An Evolutionary Approach for Document Clustering
Abstract We propose an evolutionary approach based on genetic algorithm for text document clustering. Instead of applying genetic algorithm on the whole dataset, we partition the dataset into some groups and apply genetic algorithm to each of the...
2013 / Ruksana Akter, Yoojin Chung -
Adoption and Application of Mobile Learning in the Education Industry
Abstract The paper has three aims: First, it provides a historical overview of mobile learning concept and evolution. Secondly, it discusses the mobile learning adoption and application in the education industry. The evidences reviewed confirm the...
2013 / Samsiah Bidin, Azidah Abu Ziden -
Bioimage Informatics in the context of Drosophila research
Abstract Modern biological research relies heavily on microscopic imaging. The advanced genetic toolkit of Drosophila makes it possible to label molecular and cellular components with unprecedented level of specificity necessitating the application...
2014 / Florian Jug, Tobias Pietzsch, Stephan Preibisch, Pavel Tomancak -
One-shot Classification of 2-D Leaf Shapes Using Distributed Hierarchical Graph Neuron (DHGN) Scheme with k-NN Classifier
Abstract This article presents a scalable approach for classifying plant leaves using the 2-dimensional shape feature. The proposed approach integrates a distributed recognition scheme called Distributed Hierarchical Graph Neuron (DHGN) for pattern...
2013 / Anang Hudaya Muhamad Amin, Asad I. Khan -
A Neural Network Model for Classifying Olive Farms
Abstract The application of web marketing and definition of corporate strategies has become common practice in all companies, together with the use of mathematical models as a tool for planning and studying the dynamics of communication within the...
2014 / Crescenzio Gallo, Francesco Contò, Piermichele La Sala, Anna Paola Antonazzo -
Preparation of a Multilingual Terminology (Spanish, Catalan, English, Arabic and Chinese) for Industrial and Craft Sectors in the Comunidad Valenciana: The Case of the Turron Industry
Abstract The ultimate purpose of this work is to develop a terminological base (Spanish, Catalan, English, Chinese and Arabic) for the industrial and craft sector of turron, chocolate and cocoa derivatives with the aim of facilitating knowledge...
2013 / María Isabel Santamaría-Pérez, José Joaquín Martínez-Egido -
A logic of behaviour in context
Abstract We present a novel temporal logic for expressing properties of behaviour in context. The logic is applied to models of continuous processes, specifically using the continuous π-calculus as a modelling language for biochemical systems. ...
2014 / C.J. Banks, I. Stark -
EasyLexia: A Mobile Application for Children with Learning Difficulties
Abstract Dyslexia is one of the most common learning disabilities experienced by children and adults. A large amount of research is currently being conducted in exploring the benefits of using Information & Communication Technologies as a...
2014 / Roxani Skiada, Eva Soroniati, Anna Gardeli, Dimitrios Zissis -
A Text based Steganography Technique with Indian Root
Abstract Steganography is the art and science of covered writing. Modern digital steganography uses text, images, audio, video etc. as a cover medium. This paper presents a text based steganography technique based on the Vedic Numeric Code....
2014 / Souvik Roy, P. Venkateswaran -
Lexicon of Orchids
Abstract This paper describes the importance of the development of computational tools for Natural Language Processing. Editing text in an electronic processor requires analysis of its linguistic which makes it a complex issue since there is no...
2013 / Alana R.B.S. Lisbôa, Cinthyan R. S. C. de Barbosa -
Security Through Behavioral Biometrics and Artificial Intelligence
Abstract The purpose of this paper is to validate a method of collecting and analyzing behavioral biometric data in order to authenticate a user's identity. The method uses the time to transition from one finger to another while typing, a form of...
2012 / Benjamin Purgason, David Hibler -
Wars of the World: Evaluating the Global Conflict Structure During the Years 1816-2001 Using Social Network Analysis
Abstract This paper explores the application of dynamic network analysis techniques to the area of historical martial conflict analysis. The goal is to provide input for the area of quantitative historic analysis, specifically the study of armed...
2013 / Olga Levina, Robert Hillmann -
Using SPIN for automated debugging of infinite executions of Java programs
Abstract This paper presents an approach for the automated debugging of reactive and concurrent Java programs, combining model checking and runtime monitoring. Runtime monitoring is used to transform the Java execution traces into the input for the...
2013 / Damián Adalid, Alberto Salmerón, María del Mar Gallardo, Pedro Merino -
A New Disk-based Technique for Solving the Largeness Problem of Stochastic Modeling Formalisms
Abstract Stochastic modeling formalisms such as stochastic Petri nets, generalized stochastic Petri nets, and stochastic reward nets can be used to model and evaluate the dynamic behavior of realistic computer systems. Once we translate the...
2013 / Samir M. Koriem, W.S. El-Kilani -
A Hybrid MPI+OpenMP Solution of the Distributed Cluster-based Fish Schooling Simulator
Abstract Exploring the multi-core architecture is an important issue to obtaining high performance in parallel and distributed discrete-event simulations. However, the simulation features must fit on parallel programming model in order to increase...
2014 / Francisco Borges, Albert Gutierrez-Milla, Remo Suppi, Emilio Luque -
Robust Text-independent Speaker Recognition with Short Utterance in Noisy Environment Using SVD as a Matching Measure
Abstract A new technique for text-independent speaker recognition for noisy speech is presented. This technique is based on finding the ratio of the singular values of the feature vectors of the unknown speaker and each of the N reference features...
2013 / Rabah W. Aldhaheri, Fuad E. Al-Saadi -
Alternative Methods of Teaching Algorithms
Abstract Nowadays, algorithmic thinking is considered to be one of the key competences of students from primary to higher education. In our paper we point out the possibility of alternative methods of teaching algorithms. We deal with the concept of ...
2013 / Martin Cápay, Martin Magdin -
A Framework for the Prototype-based Software Development Methodologies
Abstract In the object-oriented paradigm, two techniques, class-based technique and prototype-based technique are available for modeling the real-world objects. In this paper, we first study and analyze both object-modeling techniques, then using...
2013 / Abad Shah