Computer and information sciences topic list of research papers
-
A Characterization of Constructive Dimension
Abstract In the context of Kolmogorov's algorithmic approach to the foundations of probability, Martin-Löf defined the concept of an individual random sequence using the concept of a constructive measure 1 set. Alternate characterizations use...
2008 / Satyadev Nandakumar -
Graph Transformation in a Nutshell
Abstract Even sophisticated techniques start out from simple ideas. Later, in reply to application needs or theoretical problems new concepts are introduced and new formalisations proposed, often to a point where the original simple core is hardly...
2006 / Reiko Heckel -
Axiomatizing Hybrid Products of Monotone Neighborhood Frames
Abstract The main aim of this paper is to propose a robust way to combine two monotone hybrid logics. This work can be regarded as a further extension of both topological semantics for hybrid logic (Ten Cate and Litak 2007) and bi-hybrid logic of...
2011 / Katsuhiko Sano -
The Role of Visual Modeling and Model Transformations in Business-driven Development
Abstract This paper explores the emerging paradigm of business-driven development, which presupposes a methodology for developing IT solutions that directly satisfy business requirements and needs. At the core of business-driven development are...
2008 / Jana Koehler, Rainer Hauser, Jochen Küster, Ksenia Ryndina, Jussi Vanhatalo, et al. -
Lazy Algorithms for Exact Real Arithmetic2004 / Pietro Di Gianantonio, Pier Luca Lanzi
-
Preface2006 / Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, Mike Wooldridge
-
Preface2007 / Ian Mackie, Detlef Plump
-
Incremental Confined Types Analysis
Abstract Research related to alias protection and related concepts, such as, confined types and ownership types has a long tradition and is a promising concept for the design and implementation of more reliable and secure software. Unfortunately,...
2006 / Michael Eichberg, Sebastian Kanthak, Sven Kloppenburg, Mira Mezini, Tobias Schuh -
A Topos-Theoretic Approach to Counterfactual Logic
Abstract Topoi are known to be categories with extra properties that make them much alike the category of Sets. In a Topoi it is possible to define adequate notions of membership, elements and subobjects, power “sets”, and finally, every Topoi has...
2009 / Ricardo Queiroz de Araujo Fernandes, Edward Hermann Haeusler -
How to Produce Information About a Given Entity Using Automated Deduction Methods
Abstract The standard method to retrieve information can be formally defined as follows. To ask a query, one gives the properties of the entities to be retrieved, and the answer is the set of all the entities that satisfy the query. Another method,...
2009 / Robert Demolombe, Luis Fariñas del Cerro -
Research on the Performance Evaluation of Logistics Enterprise Based on the Analytic Hierarchy Process
Abstract The performance evaluation plays a more and more important role in the modern enterprise management, and the method of evaluation system on enterprise performance is always an important question in the theory and practice. So this paper set ...
2012 / Jiansheng Zhang, Wei Tan -
An efficient algorithm for computing the K-overlapping maximum convex sum problem
Abstract This research presents a new efficient algorithm for computing the K-Maximum Convex Sum Problem (K-MCSP). Previous research has investigated the K-MCSP in the case of disjoint regions. In this paper, an efficient algorithm with O(Kn3) time...
2011 / Mohammed Thaher, Tadao Takaoka -
10x10: A General-purpose Architectural Approach to Heterogeneity and Energy Efficiency
Abstract Two decades of microprocessor architecture driven by quantitative 90/10 optimization has delivered an extraordinary 1000-fold improvement in microprocessor performance, enabled by transistor scaling which improved density, speed, and...
2011 / Andrew A. Chien, Allan Snavely, Mark Gahagan -
Motion invariant palm-print texture based biometric security
Abstract Biometric based identification is an emerging technology that can solve many security problems. Although systems based on fingerprint and eye features have so far achieved the best matching performance, human hand also contains a wide...
2010 / Rohit Kumar, Ratnesh P. Keshri, C. Malathy, K. Annapoorani Panaiyappan -
Can models of scientific software-hardware interactions be predictive?
Abstract Sparse scientific codes face grave performance challenges as memory bandwidth limitations grow on multi-core architectures. We investigate the memory behavior of a key sparse scientific kernel and study model-driven performance evaluation...
2011 / Michael Frasca, Anirban Chatterjee, Padma Raghavan -
A Multi-Staged Blackboard Query Optimization Framework for World-Spanning Distributed Database Resources
Abstract With the advent of distributed computing, particularly since the emergence of Grids, Clouds and other Service Oriented Computing paradigms, the querying of huge datasets of distributed databases or data repositories on a global scale has...
2011 / Peter Paul Beran, Werner Mach, Erich Schikuta, Ralph Vigne -
A Provenance-Based Infrastructure to Support the Life Cycle of Executable Papers
Abstract As publishers establish a greater online presence as well as infrastructure to support the distribution of more varied information, the idea of an executable paper that enables greater interaction has developed. An executable paper provides ...
2011 / David Koop, Emanuele Santos, Phillip Mates, Huy T. Vo, Philippe Bonnet, et al. -
The UrbanFlood Common Information Space for Early Warning Systems
Abstract Early Warning Systems (EWS) can play a crucial role in mitigating the effects of natural disasters. Modern EWSs leverage wireless sensors for real-time monitoring of natural phenomena and computing-intensive scientific applications for...
2011 / Bartosz Balis, Marek Kasztelnik, Marian Bubak, Tomasz Bartynski, Tomasz Gubała, et al. -
Memristor as an archetype of dynamic data-driven systems and applications to sensor networks
Abstract Since its introduction a decade ago, DDDAS has been applied to a wide range of science and technology fields, with specific focus of areas requiring fast and reliable processing of massive data streams from diverse resources. It is crucial...
2011 / Giovanni E. Pazienza, Robert Kozma -
Failure diagnosis in real time stochastic discrete event systems
Abstract Discrete Event System (DES) has been used for Failure Detection and Diagnosis (FDD) of a wide range of systems. For real time systems, timed DES based frameworks diagnose failures leading to violation of delays or deadlines. These schemes...
2015 / Chaitali Biswas Dutta, Utpal Biswas