Computer and information sciences topic list of research papers
-
Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems
Abstract This paper focuses on the formal modeling, simulation, and analysis of interacting hybrid systems that influence each otherʼs continuous behaviors. We define in the rewriting-logic-based Real-Time Maude tool a method for the numerical...
2011 / Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám -
Using Euler Diagrams in Traditional Library Environments
Abstract In this paper, we present a new graphical interface for traditional library environments, which allows the user to elaborate easily and efficiently new strategies in search processes. This tool is based on two linked interactive Euler...
2005 / Jérôme Thièvre, Marie-Luce Viaud, Anne Verroust-Blondet -
From Theoretical e-barter Models to an Implementation Based on Web Services
Abstract An e-barter system is an e-commerce environment where transactions do not necessarily involve money. They are multi-agent systems where agents perform exchanges of resources on behalf of their respective users. Besides, their structure is...
2006 / Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodríguez -
Panorama Stitching Based on SIFT Algorithm and Levenberg-Marquardt Optimization
Abstract Panorama stitching algorithm based on scale invariant feature transform and Levenberg-Marquardt optimiza-tion is proposed. Mapping the source planar images to a cylind-rical surface is the first step. Then, correct matching feature pairs...
2012 / ZHONG Min, ZENG Jiguo, XIE Xusheng -
A CFO Matrix Method for Interleaved Uplink OFDMA Systems
Abstract In this paper, a CFO matrix method is presented for carrier frequency offset (CFO) estimation in interleaved uplink orthogonal frequency division multiplexing access (OFDMA) system. The proposed method utilizes the information of...
2012 / Ruiyan Du, Jinkuan Wang, Fengming Xin, Liqun Shan -
TOAR: transmission-aware opportunistic ad hoc routing protocol2013 / Arka Mazumdar, Ashok Sairam
-
Security Issues of Media Sharing in Social Cloud
Abstract A social network, as the name suggests is a network of individuals created for social communication. It is a massive platform where people interact with others anywhere in the world online based on some relationship. The relationship can be ...
2012 / K.S. Gayathri, Tony Thomas, J. Jayasudha -
Insights on the Definition of an Agenda for ICT Development in Municipal Governments: A Reference Model
Abstract In this paper is studied the situation regarding the usage of Information and Communication Technology (ICT) in local e-governments. The methodology consists of a model based on successful case studies in different municipalities around the ...
2012 / Jorge Lozoya-Arandia, Carlos Franco-Rebored -
Speech and Non-Speech Identification and Classification using KNN Algorithm
Abstract Speech and non-speech identification along with its classification method that need to be improved in the endpoint detection for speech in noisy environments. The proposed method uses few features to increase the robustness in various noisy ...
2012 / T. Lakshmi Priya, N.R. Raajan, N. Raju, P. Preethi, S. Mathini -
Intrusion Detection System using Bayesian Network and Hidden Markov Model
Abstract Across the globe, billions of dollars are spending every year to provide security to the network systems to prevent the intrusions. Some consider the disruption of the vital systems as a serious threat which disables the work of hospitals,...
2012 / Nagaraju Devarakonda, Srinivasulu Pamidi, V. Valli Kumari, A. Govardhan -
Determination of Signal to Noise Ratio of Electrocardiograms Filtered by Band Pass and Savitzky-Golay Filters
Abstract Digital or electronic displays of biosignals like electrocardiograms (ECGs) require noise reduction for accurate representation. In this paper noise reduction of normal ECG has been done using two types of filtering. The first type is band...
2012 / Monisha Chakraborty, Shreya Das -
Image Feature Extraction using Non Linear Principle Component Analysis
Abstract In feature extraction technique for face recognition, to maximize the ratio of between-class scatter to that of within-class scatter and keeps high generalization performance, a nonlinear Evolutionary Weighted Principal Component Analysis...
2012 / M. Sivasathya, S. Mary Joans -
Implementation of Dwell Timer For Fast WiMAX Handoff of Ping Pong Calls
Abstract The WiMAX technology is becoming the way to avert the impending crisis of rural Connectivity .The next-generation Wireless Metropolitan Area Networks, using the Worldwide Interoperability for Microwave Access (WiMAX) as the core technology...
2012 / B. Sridevi, K. Karthikeyan, T. Meenavishakan, P. Reminbabu, S. Rajaram -
Denoising of Medical Images Using Dual Tree Complex Wavelet Transform
Abstract In Medical diagnosis operations such as feature extraction and object recognition will play the key role. These tasks will become difficult if the images are corrupted with noise. So the development of effective algorithms for noise removal ...
2012 / V. Naga Prudhvi Raj, T. Venkateswarlu -
Joint Robust and Reversible Watermarking for Medical Images
Abstract Digital watermarking has an important application to protect and authenticate the medical images. To perform accordingly one of the most commonly used methods is region based operation, i.e. the whole image is partitioned into two regions...
2012 / Hirak Kumar Maity, Santi Prasad Maity -
Optimizing Cost and Throuhput Efficiency with Security in Wireless Ad HOC Networks Using Leach
Abstract Wireless ad hoc network (WANET) is a decentralized type of the wireless network. There are various challenges that are faced in the ad hoc environment. Wireless ad hoc networking is the enabling technology for paramount civilian and...
2012 / R. Menaka, N. Umamaheswari -
Semantic Integration For Food Sales Analysis
Abstract Information systems interoperability is a complex topic that needs often to be addressed in a specific way. This paper presents an approach for interoperability between point-of-sales systems in the food sales domain and food composition...
2012 / Miguel Pragosa, Vitor Basto-Fernandes -
An Overview of the Signal Clock Calculus2004 / Mirabelle Nebut
-
On Logics for Coalgebraic Simulation
Abstract We investigate logics for coalgebraic simulation from a compositional perspective. Specifically, we show that the expressiveness of an inductively-defined language for coalgebras w.r.t. a given notion of simulation comes as a consequence of ...
2004 / Corina Cîrstea -
Preface2005 / Antonio Cerone, Alessandra Di Pierro