Computer and information sciences topic list of research papers
-
Non-Additive Random Data Perturbation for Real World Data
Abstract Privacy preservation is the major concern while real datasets are handled. A specific topic- privacy preserving data mining (PPDM), completely deals with data modification but also limits rule loss. Data perturbation is one of the PPDM...
2012 / Mary A. Geetha, N.Ch.S.N. Iyengar -
Image Retrieval from WWW using Attributes in HTML TAGs
Abstract Web pages contain large number of images and it is difficult to map the semantics of the images using text present in the HTML documents. Retrieval system is designed for ranking and retrieving images using ranking mechanism. These ranking...
2012 / P. Shanmuga Vadivu, P. Sumathy, A. Vadivel -
Real-Time Maude 2.1
Abstract Real-Time Maude 2.1 is an extension of Full Maude 2.1 supporting the formal specification and analysis of real-time and hybrid systems. Symbolic simulation, search and model checking analysis are supported for a wide range of systems. This...
2005 / Peter Csaba Ölveczky, José Meseguer -
Java Bytecode Transformations for Efficient, Portable CPU Accounting
Abstract Resource management is essential to build reliable middleware and to host potentially untrusted software components. Resource accounting allows to study and optimize program performance and to charge users for the resource consumption of...
2005 / Walter Binder, Jarle Hulaas -
Computing the Maximum Agreement of Phylogenetic Networks
Abstract We introduce the maximum agreement phylogenetic subnetwork problem (MASN) of finding a branching structure shared by a set of phylogenetic networks. We prove that the problem is NP-hard even if restricted to three phylogenetic networks and...
2004 / Charles Choy, Jesper Jansson, Kunihiko Sadakane, Wing-Kin Sung -
Application Source Codes Profiling for ASIP Memory Subsystem Design
Abstract Application Specific Instruction-set Processors (ASIPs) are a realistic solution for domain-specific applications. To reach optimal system-level performance, memory subsystem design is considered in the pre-architecture design stage, which...
2012 / Xiaoyang Li, Wenbiao Zhou, Dake Liu -
Breaking the hierarchy - a new cluster selection mechanism for hierarchical clustering methods2009 / László A Zahoránszky, Gyula Y Katona, Péter Hári, András Málnási-Csizmadia, Katharina A Zweig, et al.
-
Application of preference selection index method for decision making over the design stage of production system life cycle
Abstract The life cycle of production system shows the progress of production system from the inception to the termination of the system. During each stage, mainly in the design stage, certain strategic decisions have to be taken. These decisions...
2013 / Rajesh Attri, Sandeep Grover -
Protocols for Evaluation of Site Accessibility with the Participation of Blind Users
Abstract User interfaces, through which users interact with the systems, should be designed according to the accessibility guidelines, with focus on usability. To this end, the designers of these interfaces should analyze whether their requirements...
2012 / Simone Bacellar Leal Ferreira, Denis Silva da Silveira, Eliane Pinheiro Capra, Ariane Oliveira Ferreira -
Aesthetics and Design in Three Dimensional Animation Process
Abstract Since the end of the 20th century, animation techniques have been widely used in productions, advertisements, movies, commercials, credits, visual effects, and so on, and have become an indispensable part of the cinema and television. The...
2012 / Gokce Kececi Sekeroglu -
Employing flowgraphs for forward route reconstruction in video surveillance system2013 / Andrzej Czyzewski, Karol Lisowski
-
Simulation and Formal Analysis of Workflow Models
Abstract We present a framework for the simulation and formal analysis of workflow models. We discuss (i) how a workflow model, implemented in the BPEL language, can be transformed into a dataflow network model, (ii) how potentially incorrect...
2008 / Máté Kovács, László Gönczy -
Self-assembling Trees
Abstract RCCS is a variant of Milner's CCS where processes are allowed a controlled form of backtracking. It turns out that the RCCS reinterpretation of a CCS process is equivalent, in the sense of weak bisimilarity, to its causal transition system...
2007 / Vincent Danos, Jean Krivine, Fabien Tarissan -
Lowness Properties and Approximations of the Jump
Abstract We study and compare two combinatorial lowness notions: strong jump-traceability and well-approximability of the jump, by strengthening the notion of jump-traceability and ω-r.e. for sets of natural numbers. We prove that there is a...
2005 / Santiago Figueira, André Nies, Frank Stephan -
Testing Planning Domains (without Model Checkers)
Abstract We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning domains which is self-contained, in the sense that flight...
2007 / Franco Raimondi, Charles Pecheur, Guillaume Brat -
A Short Visit to the STS Hierarchy
Abstract The hierarchy of Symbolic Transition Systems, introduced by Henzinger, Majumdar and Raskin, is an elegant classification tool for some families of infinite-state operational models that support some variants of a symbolic “backward closure” ...
2006 / Nathalie Bertrand, Philippe Schnoebelen -
Interaction Nets With Nested Pattern Matching
Abstract Reduction rules in Interaction Nets are constrained to pattern match exactly one argument at a time. Consequently, a programmer has to introduce auxiliary rules to perform more sophisticated matches. We propose an extension of Interaction...
2008 / Abubakar Hassan, Shinya Sato -
Computational cluster validation for microarray data analysis: experimental assessment of Clest, Consensus Clustering, Figure of Merit, Gap Statistics and Model Explorer2008 / Raffaele Giancarlo, Davide Scaturro, Filippo Utro
-
Linguistic Consensus Models based on a Fuzzy Ontology
Abstract The main purpose of a Group Decision Making model is to reach a consensual solution as quickly as possible by decreasing the gap between the perceptions of different decision makers. The perception of the decision makers depends on the...
2013 / I.J. Pérez, R. Wikstrm, J. Mezei, C. Carlsson, K. Anaya, et al. -
Double committee adaboost
Abstract In this paper we make an extensive study of different combinations of ensemble techniques for improving the performance of adaboost considering the following strategies: reducing the correlation problem among the features, reducing the...
2012 / Loris Nanni, Sheryl Brahnam, Alessandra Lumini