Computer and information sciences topic list of research papers
-
Design of Wireless Node about Gondola's Steel Wire Ropes Monitoring
Abstract In order to monitor the stress state of steel wire ropes and the characteristics of gondola, it sets up wireless sensor network by using wireless sensor monitoring nodes. Design of the sensor node hardware circuit and write sensor node...
2012 / Shizhong Chen, Qing Zuo, Zhaoyu Jiao, Jie Wu -
Markovian Model based Trustworthy Architecture
Abstract Wireless Sensor Network (WSN) is collection of wireless sensor nodes which works for a goal of monitoring physical and environmental conditions. The wireless environments are prone to attacks by the third party, hence trust plays a major...
2012 / G.R. Kanagachidambaresan, V.R. Sarma Dhulipala, M.S. Udhaya -
Biometric Cryptosystem Involving Two Traits And Palm Vein As Key
Abstract The proposed scheme involves an idea of including three biometric traits of a person where in the sense even if one fails the other trait could be utilised for verification or identity. Moreover the concept of cryptosystem is involved,...
2012 / B. Prasanalakshmi, A. Kannammal, B. Gomathi, K. Deepa, R. Sridevi -
A New Digital Watermarking Algorithm Based On WBCT
Abstract The paper presents an imperceptible and robust digital watermarking algorithm using wavelet-based contourlet transform (WBCT), The WBCT can give the anisotropy optimal representation of the edges and contours in the image by virtue of the...
2012 / Jing Liu, Gang Liu, Wenjuan He, Ye Li -
An Efficient Scalable Video Encryption Scheme for Real time applications
Abstract This work describes an efficient selective encryption scheme for H.264/Scalable Video Coding (SVC). The main feature of this scheme is that it makes use of the characteristics of SVC and fully meets the encryption requirements. The...
2012 / L.M. Varlakshmi, G.Florence Sudha, G. Jaikishan -
Transient Signal Detection on the Basis of Energy and Zero Crossing Detectors
Abstract In underwater passive surveillance systems, narrowband displays help in classifying tonal sounds but transient sounds are largely classified through audition. Over the years, the intensity of tonal has been reduced by ship/submarine...
2012 / Rahul G. Waghmare, Sanjay L. Nalbalwar, Arnab Das -
A Novel Adaptive Neural Network Compensator as Applied to Position Control of a Pneumatic System2011 / Behrad Dehghan, Sasan Taghizadeh, Brian Surgenor, Mohammed Abu-Mallouh
-
The Recognition Difficulty of Extended Compound Sentences for Turkish First Year English Language Education Students
Abstract Turkish First Year English Language Education students have serious problems in recognition and production of extended compound sentences, which carry extra phrases. Therefore, they cannot write extended compound sentences whose extended...
2012 / Mehmet Demirezen -
Mining Explainable User Interests from Scalable User Behavior Data
Abstract Capturing user interests from big user behavior data is critical for online advertising. Based on the user interests, advertisers can significantly reduce their advertising cost by delivering the most relevant ads for the user. The...
2013 / Li Jun, Zhang Peng -
A solution for exterior and relative orientation in photogrammetry, a genetic evolution approach
Abstract Space resection is a technique that is commonly used to determine the exterior orientation parameters associated with one image or many images based on known Ground Control Points (GCPs). The term “exterior orientation” of an image refers...
2013 / Elgasim Elamin Elnima -
Signal processing for valid score determination in amateur boxing
Abstract CSIRO has been collaborating with the Australian Institute of Sport (AIS) and Melbourne-based engineering companies to develop an automated scoring and performance analysis system for amateur boxing. The system comprises sensors built into...
2011 / A. Krajewski, R.J.N. Helmer, S.R. Lucas -
Instant Messaging and Microblogging: Situated-Learning Platforms for Educationists and Workplace Mentors
Abstract We explore how newcomers learn to socialize into the workplace through instant messaging and microblogging. Findings demonstrate that instant messaging can be one mechanism of learning the normative ways of 1) making calls and 2) shifting...
2012 / Bernie Chun Nam Mak, Hin Leung Chui, Yiqi Liu -
Data Mining with Enhanced Neural Networks-CMMSE2013 / Ana Martínez Blanco, Angel Castellanos Peñuela, Luis Fernando de Mingo López, Arcadio Sotto
-
Simulation Machines for Checking Action System Refinements
Abstract Action systems provide a formal approach to modelling parallel and reactive systems. They have a well established theory of refinement supported by simulation-based proof rules. This paper introduces an automatic approach for verifying...
2007 / Graeme Smith, Kirsten Winter -
Programming Examples Needing Polymorphic Recursion
Abstract Inferring types for polymorphic recursive function definitions (abbreviated to polymorphic recursion) is a recurring topic on the mailing lists of popular typed programming languages. This is despite the fact that type inference for...
2005 / J.J. Hallett, A.J. Kfoury -
Preface2008 / Giovanni Di Crescenzo, Refik Molva
-
Integrating UML and Formal Methods
Abstract UML is a widespread language used in both industry and academia, despite the fact that its semantics is still informal and allows ambiguities. On the other hand, OhCircus is a formal...
2007 / Rafael Magalhães Borges, Alexandre Cabral Mota -
Modelling Devices for Natural Interaction
Abstract We do not interact with systems without first performing some physical action on a physical device. This paper shows how formal notations and formal models can be developed to account for the relationship between the physical devices that...
2008 / Alan Dix, Masitah Ghazali, Devina Ramduny-Ellis -
Translation Templates to Support Strategy Development in PVS
Abstract In presenting specifications and specification properties to a theorem prover, there is a tension between convenience for the user and convenience for the theorem prover. A choice of specification formulation that is most natural to a user...
2007 / Hongping Lim, Myla Archer -
An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability
Abstract We present a tableau-based algorithm for deciding satisfiability for propositional dynamic logic (PDL) which builds a finite rooted tree with ancestor loops and passes extra information from children to parents to separate good loops from...
2009 / Pietro Abate, Rajeev Goré, Florian Widmann