Computer and information sciences topic list of research papers
-
Stochasticity: A Feature for the Structuring of Large and Heterogeneous Image Databases2013 / Abdourrahmane Atto, Yannick Berthoumieu, Rémi Mégret
-
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems
Abstract In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for developing and modeling self-adaptive systems. In this model, policies are used as a mechanism to direct and adapt the behavior of self-adaptive...
2010 / Narges Khakpour, Saeed Jalili, Carolyn Talcott, Marjan Sirjani, Mohammad Reza Mousavi -
A proposed model for data warehouse ETL processes
Abstract Extraction–transformation–loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, its cleansing, customization, reformatting, integration, and insertion into a data warehouse. Building the ETL ...
2011 / Shaker H. Ali El-Sappagh, Abdeltawab M. Ahmed Hendawi, Ali Hamed El Bastawissy -
Structured learning for spatial information extraction from biomedical text: bacteria biotopes2015 / Parisa Kordjamshidi, Dan Roth, Marie-Francine Moens
-
Atomic routing in a deterministic queuing model
Abstract The issue of selfish routing through a network has received a lot of attention in recent years. We study an atomic dynamic routing scenario, where players allocate resources with load dependent costs only for some limited time. ...
2014 / T.L. Werth, M. Holzhauser, S.O. Krumke -
IEEE 802.11 WLAN based Real Time Indoor Positioning: Literature Survey and Experimental Investigations
Abstract Indoor positioning has emerged as a hot topic that gained gradual interest from both academia and industry. Accurate estimation is necessitated in a variety of location-based services such as healthcare, repository tracking, and security....
2014 / Gökhan Kul, Tansel Özyer, Bülent Tavli -
Multi-task Parallel Algorithm for DSRC
Abstract Multi-task parallel algorithm is applied to accelerate the program of DNA Sequence Reads Compressor (DSRC), which is specialized for compressing DNA sequencing data file - FASTQ format file. The compression process is first divided into two ...
2014 / He Na, Haibiao Luo, Wang Ting, Bingqiang Wang -
Flexible Approach to Astronomical Data Reduction Workflows in Kepler
Abstract The growing scale and complexity of cataloguing and analyzing of astronomical data forces scientists to look for a new technologies and tools. The workflow environments seem best suited for their needs, but in practice they proved to be too ...
2014 / Paweł Ciecieląg, Marcin Płóciennik, Piotr Spyra, Michał Urbaniak, Tomasz Żok, et al. -
Some Co-Birkhoff Type Theorems
Abstract We consider the dual of Theorem 1 from [33], relating closure conditions on subcategories with projectivity classes for collections of discrete cocones. We extend these results by adding a new operator for closure under domains of epis and...
2004 / Jesse Hughes -
Designing a Portable and Low Cost Home Energy Management Toolkit
Abstract In this paper we describe the design of a home energy and comfort management system. The system has three components such as a smart plug with a wireless module, a residential gateway and a mobile app. The combined system is called a home...
2013 / David V. Keyson, Abdullah Al Mahmud, Marc de Hoogh, Rob Luxen -
A New Realization of Sum of Products and Transposed Sum of products implementation by Partitioned Arithmetic2004 / K. Nakayama
-
Reversible Monadic Computing
Abstract We extend categorical semantics of monadic programming to reversible computing, by considering monoidal closed dagger categories: the dagger gives reversibility, whereas closure gives higher-order expressivity. We demonstrate that Frobenius ...
2015 / Chris Heunen, Martti Karvonen -
Efficient Computing of Iceberg Queries Using Quantiling
Abstract Iceberg queries have been recently identified as important queries for many applications. These queries can be characterized by their huge input-small output. The iceberg refers to the input, and the tip of it refers to the output. We...
2013 / Khaled AlSabti -
Virtual Business Support Infrastructure for Entrepreneurs
Abstract In the knowledge economy nowadays, a physical working space is less valuable than virtual networks and business clusters. Science technology parks and innovation centers, virtual incubators and business information centers could be a far...
2013 / Sarma Cakula, Andra Jakobsone, Jiří Motejlek -
An Algebraic Approach for Compiling Real-Time Programs
Abstract Compiler Verification has been identified as a vital process in the implementation of correct safety-critical systems. We extend here Hoare's refinement-algebra approach to compilation in order to include real-time languages in which...
2004 / Alvaro E. Arenas -
An Overview of MSR( C )
Abstract In recent works we have defined a general framework for the validation of parameterized concurrent systems based on the combination of multiset rewriting and constraints. The class of systems we are interested in consists of concurrent...
2004 / G. Delzanno -
Monitoring, Checking, and Steering of Real-Time Systems
Abstract The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring and checking the execution of the target program at...
2004 / Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin, Oleg Sokolsky -
Optimality parsing and local cost functions in Discontinuous Grammar
Abstract After a brief survey of Discontinuous Grammar (DG), we propose local cost functions as a generalization of violable constraints in OT, probabilities in PCFG, and processing times in distributed competition models. We demonstrate how local...
2005 / Matthias Trautner Kromann -
Almost-Certain Eventualities and Abstract Probabilities in Quantitative Temporal Logic
Abstract ‘Almost-certain eventualities’ are liveness properties that hold with probability 1. ‘Abstract probabilities’ are probabilities in transition systems about which we know only that they are neither 0 nor 1. Vardi [17]...
2004 / Annabelle McIver, Carroll Morgan -
The Essence of Coin Lemmas
Abstract Coin lemmas are a tool for the analysis of randomized distributed algorithms. Their principal role is to reduce the analysis of a randomized system to the analysis of an ordinary nondeterministic system. This paper describes the main ideas...
2005 / Roberto Segala