Computer and information sciences topic list of research papers
-
Induced aggregation operators in decision making with the Dempster-Shafer belief structure2009 / J. M. Merigó, M. Casanovas
-
International Conference on Computational Science, ICCS 2011 Gleipnir: A Memory Analysis Tool
Abstract This paper describes a program profiling and analysis tool called Gleipnir. Gleipnir collects memory access traces and associates each access with a specific program internal structure such as a thread, a function, a data structure or a...
2011 / Tomislav Janjusic, Krishna Kavi, Brandon Potter -
Towards a Multi-Level Cache Performance Model for 3D Stencil Computation
Abstract It is crucial to optimize stencil computations since they are the core (and most computational demanding segment) of many Scientific Computing applications, therefore reducing overall execution time. This is not a simple task, actually it...
2011 / Ràul de la Cruz, Mauricio Araya-Polo -
Mechanically tuneable microoptical structure based on PDMS
Abstract A PDMS based tuneable microoptical system fabricated merging deep reactive ion etching, SU-8 and soft lithography, with a low-cost (mass-production), simple and highly repetitive technology, is presented. This system consists on a structure ...
2009 / V.J. Cadarso, A. Llobera, G. Villanueva, J.A. Plaza, J. Brugger, et al. -
Palmprint authentication using modified legendre moments
Abstract The resolution of the acquired biometric image is considered as one of the primary factors affecting the performance of a biometric authentication system. For low quality images, a powerful feature extraction method is very essential....
2010 / C. Lakshmi Deepika, A. Kandaswamy, C. Vimal, B. Satish -
A Novel Approach Evaluation for Enhancing Networks
Abstract This study reveals for a creation of a system that has the ability to prove the technical feasibility and the advantages of a joint Radio Frequency and fiber optic system with self-trace directional control between deployed network nodes in ...
2013 / Satea Hikmat Alnajjar, Mohd Fareq Abd. Malek, Mohd Sharazel Razalli -
A Framework for Automatic Web Service Discovery Based on Semantics and NLP Techniques2012 / Asma Adala, Nabil Tabbane, Sami Tabbane
-
iSAM2: Incremental smoothing and mapping using the Bayes tree2011 / M. Kaess, H. Johannsson, R. Roberts, V. Ila, J. J. Leonard, et al.
-
Online handwritten signature verification system based on DWT features extraction and neural network classification
Abstract Handwritten signature is the most widely accepted biometric to identity verification. The target of research is to present online handwritten signature verification system based on discrete wavelet transform (DWT) features extraction and...
2010 / Maged M.M. Fahmy -
A New Approach for Video Steganography Based on Randomization and Parallelization
Abstract To secure information, different techniques have been evolved. One of them is steganography, which is an art of hiding information within other information such that there is no detectable change in cover information. In this paper we have...
2016 / Sudeepa K.B., Raju K., Ranjan Kumar H.S., Ganesh Aithal -
Preface2009 / Aart Middeldorp
-
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
Abstract We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynamic logic. With the addition of satisfaction operators, this...
2007 / André Platzer -
Measuring the Overhead of C++ Standard Template Library Safe Variants
Abstract The C++ Standard Template Library is a widely-used library that is based on the generic programming paradigm. The usage of this library does not warrant bug-free programs. Furthermore, many new errors may arise from the inaccurate use of...
2011 / Norbert Pataki, Zalán Szűgyi, Gergely Dévai -
Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic
Abstract In a recent article [L. Birkedal, R. E. Møgelberg, and R. L. Petersen. Parametric domain-theoretic models of linear Abadi & Plotkin logic. Technical Report TR-2005-57, IT University of Copenhagen, February 2005] the first two authors...
2006 / Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini -
Solving Sudoku Puzzles with Rewriting Rules
Abstract The aim of the sudoku puzzle (also known as number place in the United States) is to enter a numeral from 1 through 9 in each cell of a grid, most frequently a 9 × 9 grid made up of 3 × 3 subgrids, starting with various numerals given in...
2007 / Gustavo Santos-García, Miguel Palomino -
Quantum Patterns and Types for Entanglement and Separability
Abstract As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classically controlled quantum computation where a classical program...
2007 / Simon Perdrix -
Polynomial-Time Under-Approximation of Winning Regions in Parity Games
Abstract We propose a pattern for designing algorithms that run in polynomial time by construction and under-approximate the winning regions of both players in parity games. This approximation is achieved by the interaction of finitely many aspects...
2009 / Adam Antonik, Nathaniel Charlton, Michael Huth -
On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic
Abstract Interpolation problem over Johansson's minimal logic J is investigated. We present a semantic method for proving interpolation and apply it to extensions of J. A modification of Kripke-style semantics for the logic J is offered and...
2006 / Larisa Maksimova -
Symbolic Model-based Test Selection
Abstract This paper addresses the problem of model-based off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of reactive systems. Efficient solutions to this...
2009 / Thierry Jéron -
Checking Protocol Compatibility using Maude
Abstract Checking compatibility of services accessed through their behavioural interfaces is a crucial issue in Service Oriented Computing which aims at building new systems from existing software services. In this paper, we consider a model of...
2009 / Francisco Durán, Meriem Ouederni, Gwen Salaün