Computer and information sciences topic list of research papers
-
Robust speech recognition by extracting invariant features
Abstract A long-term goal of machine learning is providing techniques to overcome the unwanted variations and noise to improve the recognition accuracy. In this study we used a model based on deep architectures to provide better representations of...
2012 / Parvin Zarei Eskikand, Seyyed Ali Seyyedsalehia -
Preface2004 / Juliana Küster-Filipe, Iman Poernomo, Ralf Reussner, Sandeep Shukla
-
A Graph-based Semantics For Object-oriented Programming Constructs
Abstract This paper presents a graph-based formalism for object-oriented class structure specifications. The formalism combines labelled graphs with partial orders, to adequately model the (single) inheritance relation among objects and the...
2009 / Ana Paula Lüdtke Ferreira, Leila Ribeiro -
Deductive Runtime Certification
Abstract This paper introduces a notion of certified computation whereby an algorithm not only produces a result r for a given input x, but also proves that r is a correct result for x. This can greatly enhance the credibility of the result: if we...
2005 / Konstantine Arkoudas, Martin Rinard -
From Reduction-based to Reduction-free Normalization
Abstract We present a systematic construction of a reduction-free normalization function. Starting from a reduction-based normalization function, i.e., the transitive closure of a one-step reduction function, we successively subject it to refocusing ...
2005 / Olivier Danvy -
New Object-Oriented PROGRES for Specifying the Conceptual Design Tool GraCAD
Abstract This paper deals with the application of graph transformations for the specification of conceptual design tools. We show how the graph rewriting system PROGRES is used for specifying the graph part of the conceptual method for architects in ...
2005 / Janusz Szuba -
Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols
Abstract Narrowing was introduced, and has traditionally been used, to solve equations in initial and free algebras modulo a set of equations E. This paper proposes a generalization of narrowing which can be used to solve reachability goals in...
2005 / José Meseguer, Prasanna Thati -
Design of Low Bandwidth Peripherals Using High Performance Bus Architecture
Abstract System on-chip (SOC) communication has a significant impact on system performance, power dissipation and time to market. System designers, as well as the researchers community focuses on low power dissipation. A reliable on-chip...
2012 / M. Roopa, R.M. Vani, P.V. Hunagund -
Fire Alarm System Based on Multi-Sensor Bayes Network
Abstract Aimed at the problem of false alarm and missing alarm caused by information uncertainty existing in the fire alarm system, Bayesian network (BN) is proposed to analyze fire alarm system. The paper elaborates the internal logic relationship...
2012 / Chen Jing, Fu Jingqi -
A Modified High Frequency Adaptive Security Approach using Steganography for Region Selection based on Threshold Value
Abstract This paper attempts to improve the quality and the modification rate of a Stego Image. The input image provided for estimating the quality of an image and the modification rate is Bitmap image. Threshold value is used as a parameter for...
2016 / Sachin Mungmode, R.R. Sedamkar, Niranjan Kulkarni -
CI-algebra is equivalent to dual Q-algebra
Abstract In this paper, we introduce the notion of dual Q-algebras and we show that the CI-algebras are equivalent to the dual Q-algebras.
2012 / Arsham Borumand Saeid -
A satellite schedulability prediction algorithm for EO SPS
Abstract With notably few exceptions, the existing satellite mission operations cannot provide the ability of schedulability prediction, including the latest satellite planning service (SPS) standard – Sensor Planning Service Interface Standard 2.0...
2013 / Jun Li, Jun Li, Ning Jing, Weidong Hu, Hao Chen -
A Mobile Application for Displaying More Accessible eBooks for People with Dyslexia
Abstract In this paper we present an ebook reader for Android, which displays ebooks in a more accessible way according to user needs. Since people with dyslexia represent a substantial group with a reading disability, we designed a set of specific...
2012 / Luz Rello, Gaurang Kanvinde, Ricardo Baeza-Yates -
Corrigendum to “Estimating MFDs in Simple Networks with Route Choice”
Abstract The concept of the macroscopic fundamental diagram (MFD) is elegant and attractive because it provides a global view of traffic behavior and performance at a network level. However, recent research shows that the MFD shape can be influenced ...
2013 / Ludovic Leclercq, Nikolas Geroliminis -
Network Science Enabled Cost Estimation in Support of MBSE
Abstract As Model-Based Systems Engineering (MBSE) continues to mature, additional analyses can be performed to understand the relationships between a system's cost, schedule, and performance. The DoD Architecture Framework (DoDAF) is one of many...
2013 / Matthew Dabkowski, Jose Estrada, Ben Reidy, Ricardo Valerdi -
Applying reinforcement learning towards automating resource allocation and application scalability in the cloud2012 / Enda Barrett, Enda Howley, Jim Duggan
-
An Authentication and Key Establishment Scheme for the IP-Based Wireless Sensor Networks
Abstract Integration between wireless sensor networks and traditional IP networks using the IPv6 and 6LoWPAN standards is a very active research and application area. A combination of hybrid network significantly increases the complexity of...
2012 / Sarmad Ullah Khan, Claudio Pastrone, Luciano Lavagno, Maurizio A. Spirito -
Integrating Multiple Approaches for Interacting with Dynamic Data Structure Visualizations
Abstract jGRASP 1.8.7 has integrated three approaches for interacting with its dynamic viewers for data structures: the debugger, the workbench, and a new text-based interactions tab that allows individual Java statements to be executed and...
2009 / James H. Cross, T. Dean Hendrix, Larry A. Barowski -
Power Aware System Refinement
Abstract We propose a formal, power aware refinement of systems. The proposed approach lays its foundation to the traditional refinement calculus of Action Systems and its direct extension, time wise refinement method. The adaptation provides...
2008 / Johanna Tuominen, Tomi Westerlund, Juha Plosila -
Modelling Component Behaviour with Concurrent Automata
Abstract The effective (re)use of components requires languages for the precise description of observable behaviour, along with methods for checking the compatibility of component interfaces in a design. This is even more challenging in the presence ...
2005 / Sotiris Moschoyiannis, Michael W. Shields, Paul J. Krause