Computer and information sciences topic list of research papers
-
A Solver for Modal Fixpoint Logics
Abstract We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiability through infinite (cyclic) tableaux in which branches have...
2010 / Oliver Friedmann, Martin Lange -
Preface2009 /
-
An Implementation of Low Cost and Low-power Network Broadcast Data Transmission and Storage System
Abstract A connectivity and realization method for the one-to-many remote network data transmission and storage was introduced in this paper. 3D LED display array needs large size data to display a stereo picture. This method was used in 3D LED...
2012 / Qing-Ming Yi, Min Shi, Yi-Hua He -
Information Sharing in Supply Chains: An Overview
Abstract Information sharing and technology is the one of the key aspects of coordination amongst parties in a supply chain. Supply chain efficiency is highly important as today's competition is no longer between companies, but between supply...
2012 / R. Sendhil Kumar, S. Pugazhendhi -
Mobility Aided Cooperative MIMO Transmission in Wireless Sensor Networks
Abstract Energy efficiency in data collection and transmission is always a crucial factor in wireless sensor network (WSN). Unreliability in data transmission is very common for long range communications in WSNs. Factors like fading of channel,...
2012 / N. Medhi, N. Sarma -
Service Oriented Framework for Industrial Automation Systems
Abstract Design and development of Industrial automation systems are undergoing rapid transformation from being islands of automation to large network of Reconfigurable, service based systems. Development of a Low Cost Industrial Automation and...
2012 / S. Veera Ragavan, Ibrahim Kusumah Kusnanto, Velappa Ganapathy -
Robot Path Planning Using Four Point-Explicit Group Via Nine-Point Laplacian (4EG9L) Iterative Method
Abstract Path planning is an important issue as it allows a robot to get from start point to goal point. This work attempts to solve robot path planning problem iteratively using numerical technique. It is based on the use of Laplace's Equation to...
2012 / Azali Saudi, Jumat Sulaiman -
Using Entropy Spaces and Mixtures of Gaussian Distributions to Characterize Traffic Anomalies
Abstract In this paper, a technique for detecting anomalous behavior traffic in a computer network is presented. Entropy space method is based on a 3D-space built on a flow-packet level. The complete set of points obtained in the 3D-space can be...
2012 / Pablo Velarde-Alvarado, Alberto F. Martínez-Herrera, Adalberto Iriarte-Solis -
Routing Techniques in Sensor Network–A Survey
Abstract Wireless Sensor Networks (WSNs) consist of large number of sensor nodes with sensing, communication and computation capabilities. Sensor nodes have limited energy supply, bandwidth and computational capacity. Routing in sensor network...
2012 / S. Saranya, M. Princy -
Optimization of Component Extraction for Reusable Software Components in Context Level – A Systematic Approach
Abstract A component can be considered as an independent replaceable part of the application that provides a clear distinct Function. A software component is said to be reusable if the cost required to reuse is remarkably smaller than the...
2012 / V. Subedha, S. Sridhar -
Enhanced Switching Median Filter for Denoising in 2D Patterned Textile Images
Abstract Wallpaper fabric, a part of patterned fabric, is a new decorative material covered with fabric or other natural fibre materials. Wallpaper fabrics are different from other indoor decorative materials and are designed for daily use with easy ...
2012 / S. Anitha, V. Radha -
Real-Time Camera Tracking of Augmented Reality in Landmarks Environments
Abstract Augmented Reality is the hybrid of real world and virtual reality objects, where the system generated graphical objects are mixtured into the real world. AR will create the illusion that virtual and computer-generated objects are existing...
2012 / S. Suganya, N.R. Raajan, M.V. Priya, A. Jenifer Philomina, D. Parthiban, et al. -
A New Authentication Protocol for Multi-tag RFID Applicable to Passive Tag
Abstract Bar code technology is no more the best candidate for identification of any object. RFID replaces the bar code technology due to its efficient detection capability. However, only one RFID tag in an object reveals less detection rate and...
2012 / Subhasish Dhal, Indranil Sengupta -
Logical Semantics for the Rewriting Calculus
Abstract The Rewriting Calculus has been proposed as a language for defining term rewriting strategies. Rules are explicitly represented as terms, and are applied explicitly to other terms to transform them. Sets of rules may be applied to (sets of) ...
2005 / Aaron Stump, Carsten Schürmann -
Dynamic Routing Algorithm Based on Mobile Agent
Abstract Routing is briefly explained in this paper, as well as the mechanism and the shortcomings of current dynamic routing are analyzed. After briefly introducing the advantages of mobile agent, the paper focuses on applying the new Mobile Agent...
2012 / Li Lan -
Arc-reduced forms for Peano continua
Abstract Define a point in a topological space to be homotopically fixed if it is fixed by every self-homotopy of the space, i.e. every self-map of the space which is homotopic to the identity, and define a point to be one-dimensional if it has a...
2012 / G. Conner, M. Meilstrup -
Exploring Learners’ Practices and Perceptions on the Use of Mobile Portfolios as Methodological Tool to Assess Learning in Both Formal and Informal Contexts
Abstract In the last years, with the advent of Mobile Learning, there has been a growing interest from educationalists and researchers to find eportfolio systems that are mobile-friendly, that is, accessible and reliable from mobile devices as...
2012 / Mar Camacho Martí, Gemma Tur Ferrer -
Accurate Localisation Based on GNSS and Propagation Knowledge for Safe Applications in Guided Transport
Abstract Global Navigation Satellite Systems (GNSS) are widely spread (with Global Positioning System - GPS) in intelligent transport systems and offer a low cost, continuous and global solution for positioning. Unfortunately, urban users are often...
2012 / Juliette Marais, Sébastien Ambellouis, Amaury Flancquart, Sébastien Lefebvre, Cyril Meurie, et al. -
CytoITMprobe: a network information flow plugin for Cytoscape2012 / Aleksandar Stojmirović, Alexander Bliskovsky, Yi-Kuo Yu
-
C2M: Configurable Chemical Middleware2002 / Paul van der Vet, Hans E. Roosendaal, Peter A. T. M. Geurts