Computer and information sciences topic list of research papers
-
MSP430 Based Sign Language Recognizer for Dumb Patients
Abstract A more reliable system for speechless patients to augment their limited communication abilities is presented in this paper. The normal person can’t understand the sign language shown by speechless patients .To facilitate the communication...
2012 / H.V. Anupreethi, S. Vijayakumar -
Assessment of Neural Network Based Classifiers to Diagnose Focal Liver Lesions Using CT Images
Abstract Tumor is a condition affected to a person such that their cells would deform due to various body changes and thus may lead to cancer. Early detection of these tumors would help the patients in their diagnosis and treatment. Computer Aided...
2012 / Rahmath.S. Hameed, S.S. Kumar -
Automatic Emotion Recognition and Classification
Abstract Emotions are important part of human communication. In this paper emotion is automatically detected from text. Understanding the meaning of language is the goal of Natural Language Processing and also understanding emotion is one of goals...
2012 / R. Ezhilarasi, R.I. Minu -
Optimized Hybrid Optical Communication System for First Mile and Last Mile Problem Solution of Today's Optical Network
Abstract We have proposed an optimized hybrid optical communication system for bit-rates of 160Gbps/channel, 100Gbps/channel and 40Gbps/channel. The system composed of 8-channel dense wavelength division multiplexing (DWDM) fiber optic link for...
2012 / Bijayananda Patnaik, P.K. Sahu -
A Novel Face Recognition Approach that Overcomes Different Poses, Occlusions, Illuminations and Scales
Abstract This paper proposes a novel face recognition and representation approach using Gabor filters and Multi-band Gradient Component Pattern. The face image is first convolved with multi-scale, multi-orientation Gabor filters and Gabor volume is...
2012 / J. Sweeney Esther Freeda, C. Anand Deva Durai -
The Lion's Algorithm: A New Nature-Inspired Search Algorithm
Abstract Natural Computing is an efficient computing field that intends to develop search, optimization and machine learning algorithms by the inspiration of nature's behavior in problem solving circumstances. In the same way, numerous biologically...
2012 / B.R. Rajakumar -
GT Machine Cell Formation Problem in Scheduling for Cellular Manufacturing System Using Meta-Heuristic Method
Abstract Manufacturing industries are under intense pressure from the increasingly competitive market. Shorter products life cycles, time-to-market and diverse customer needs have challenged manufacturers to improve the efficiency and productivity...
2012 / S. Karthikeyan, M. Saravanan, K. Ganesh -
Validated Proof-Producing Decision Procedures
Abstract A widely used technique to integrate decision procedures (DPs) with other systems is to have the DPs emit proofs of the formulas they report valid. One problem that arises is debugging the proof-producing code; it is very easy in standard...
2005 / Robert Klapper, Aaron Stump -
Preface2005 / Yuri Gurevich, Alexander K. Petrenko, Alexander Kossatchev
-
A Tutorial on Specifying Data Structures in Maude
Abstract This tutorial describes the equational specification of a series of typical data structures in Maude. We start with the well-known stacks, queues, and lists, to continue with binary and search trees. Not only are the simple versions...
2005 / Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo -
UppDMC: A Distributed Model Checker for Fragments of the μ-Calculus
Abstract We present UppDMC, a distributed model-checking tool. It is tailored for checking finite-state systems and μ-calculus specifications with at most one alternation of minimal and maximal fixed-point operators. This fragment is also known as ...
2005 / Fredrik Holmén, Martin Leucker, Marcus Lindström -
Design and Implementation of Multifunctional Virtual Oscilloscope Using USB Data-Acquisition Card
Abstract Based on virtual instrument technology, a multifunctional virtual oscilloscope was designed by using NI USB data acquisition card and LabVIEW software. Its functions included channel selection, signal adjustment, waveform display, time...
2012 / Ping Gong, Wei Zhou -
An Alert Aggregation Algorithm Based on Iterative Self-Organization
Abstract Considering the problem that intrusion detection systems always produced duplicated alarm information, in this paper we propose an iterative self-organization clustering algorithm. It begins with calculating average value of classes as the...
2012 / Dapeng Man, Wu Yang, Wei Wang, Shichang Xuan -
Adapting Scan Based Test Vector for Compression Method Based On Transition Technique
Abstract Present complexity of System on Chip (SoC) design is increasing rapidly in the number of test patterns, huge switching activity and its transition time. This large test data volume is becoming one of the major problems in association with...
2012 / S. Saravanan, Har Narayan Upadhyay -
Spectrum efficiency of Fixed WiMAX OFDM network in the presence of co-channel interference with diversity combining
Abstract WiMAX (Worldwide Interoperability for Microwave Access) is a promising technology which can offer high speed voice, video and data services upto the requirements at the customer's end. The objectives of this paper is the Performance...
2012 / S. Thai Subha, Vidhyacharan Bhaskar -
Using Membrane Computing for Effective Homology2012 / Daniel Díaz-Pernil, Hepzibah A. Christinal, Miguel A. Gutiérrez-Naranjo, Pedro Real
-
Constellation Design for Spatial Modulation
Abstract Spatial modulation (SM) is a recent MIMO transmission concept that holds the potential to increase the spectral efficiency over wireless links using low-complexity transceivers. In this paper, a performance enhancement is suggested by...
2013 / J.M. Luna-Rivera, Daniel U. Campos-Delgado, M.G. Gonzalez-Perez -
An Incentive-Based Framework for Vehicle-Based Mobile Sensing
Abstract Mobile surveillance has been recently proposed as a replacement for traditional road-side surveillance system. One important aspect of a mobile surveillance system is to decide what are the events of interest. In this work, we adopt the...
2012 / Kun-chan Lan, Chien-Ming Chou, Han-Yi Wang -
Probabilistic Verification and Approximation
Abstract Model checking is an algorithmic method allowing to automatically verify if a system which is represented as a Kripke model satisfies a given specification. Specifications are usually expressed by formulas of temporal logic. The first...
2005 / Richard Lassaigne, Sylvain Peyronnet -
Experimenting Formal Proofs of Petri Nets Refinements
Abstract Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once validated, a refinement step takes place, enhancing some parts...
2008 / Christine Choppy, Micaela Mayero, Laure Petrucci