Computer and information sciences topic list of research papers
-
Long-term Activities Segmentation using Viterbi Algorithm with a k-minimum-consecutive-states Constraint
Abstract In the last years, several works have made use of acceleration sensors to recognize simple physical activities like: walking, running, sleeping, falling, etc. Many of them rely on segmenting the data into fixed time windows and computing...
2014 / Enrique Garcia-Ceja, Ramon Brena -
Survey on Important Cloud Service Provider Attributes Using the SMI Framework
Abstract Enterprises are harnessing the many benefits that Cloud Computing can give them. Yet the lack of standards, the integration with legacy systems and the numerous Cloud Service Providers available are obstacles to this adoption. Cloud Service ...
2014 / Luís Monteiro, André Vasconcelos -
A Bi-directional Bi-Lingual Translation Braille-Text System
Abstract Visually impaired people are an integral part of the society. However, their disabilities have made them to have less access to computers, the Internet, and high quality educational software than the people with clear vision. Consequently,...
2013 / AbdulMalik S. Al-Salman -
Augmented User Interface
Abstract This paper presents a collection of new Augmented Reality interfaces based on Processing. In this research, the augmented object is the user him/herself, without the need to wear any kind of marker since his/her own face is detected. Once...
2013 / Javier Mayáns-Martorell -
Higher-order structure and epidemic dynamics in clustered networks
Abstract Clustering is typically measured by the ratio of triangles to all triples regardless of whether open or closed. Generating clustered networks, and how clustering affects dynamics on networks, is reasonably well understood for certain...
2014 / Martin Ritchie, Luc Berthouze, Thomas House, Istvan Z. Kiss -
Some properties of intercategorial entailment
Abstract An equivalent definition of the intercategorial entailment (i.e. an entailment between expressions of different but functionally related categories) is given and some other formal properties are established. These show that the atomicity of ...
2004 / R. Zuber -
Layered map reasoning
Abstract New successes in dealing with set-theories by means of state-of-the-art theorem-provers may ensue from terse and concise axiomatic systems, such as can be moulded in the framework of the (fully equational) Tarski-Givant formalism of dyadic...
2004 / Andrea Formisano, Eugenio G. Omodeo, Marco Temperini -
The development of generic definitions of hyperslice packages in Hyper/J
Abstract In this paper we investigate the notion of reusability of aspect definitions. We discuss the development of generic aspects in Hyper/J and compare it with the AspectJ approach. In doing that, we follow the design principle of “developing...
2004 / Youssef Hassoun, Constantinos A. Constantinides -
Towards Monitoring-Oriented Programming
Abstract With the explosion of software size, checking conformance of implementation to specification becomes an increasingly important but also hard problem. Current practice based on ad-hoc testing does not provide correctness guarantees, while...
2004 / Feng Chen, Grigore Roşu -
Rewrite Strategies in the Rewriting Calculus
Abstract This paper presents an overview on the use of the rewriting calculus to express rewrite strategies. We motivate first the use of rewrite strategies by examples in the ELAN language. We then show how this has been modeled in the initial...
2005 / Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack -
SAT-Based Methods for Sequential Hardware Equivalence Verification without Synchronization
Abstract The BDD- and SAT-based model checking and verification methods normally require an initial state. Here we are concerned with sequential hardware verification, where an initial state must be one of the reset states. In practice, a reset...
2005 / Zurab Khasidashvili, Ziyad Hanna -
Contributing or free-riding? Voluntary participation in a public good economy2011 / Taiji Furusawa, Hideo Konishi
-
Preface
Abstract This volume contains the proceedings of the 9th Conference on Category Theory and Computer Science (CTCS'02), which was held at the University of Ottawa from August 15-17, 2002. The purpose of this conference series is the advancement of...
2005 / Richard Blute, Peter Selinger -
Encoding Transition Systems in Sequent Calculus: Preliminary Report
Abstract Linear logic has been used to specify the operational semantics of various process calculi. In this paper we explore how meta-level judgments, such as simulation and bisimulation, can be established using such encodings. In general, linear...
2005 / Raymond McDowell, Dale Miller, Catuscia Palamidessi -
Barcelona, Spain, October 7-8, 2002
Abstract Graphs are well-known, well-understood, and frequently used means to depict networks of related items. They are successfully used as the underlying mathematical concept in various application domains. In all these domains tools are...
2005 / Tom Mens, Andy Schürr, Gabriele Taentzer -
Strongly Normal Sets of Tiles in N Dimensions
Abstract The first and third authors and others [2,8,9,10,11,12] have studied sets of “tiles” (a generalization of pixels or voxels) in two and three dimensions that have a property called strong normality (SN): For any tile P, only finitely many...
2004 / Punam K. Saha, T.Yung Kong, Azriel Rosenfeld -
Modifications of Expansion Trees for Weak Bisimulation in BPA2004 / Jitka Stříbrná, Ivana Černá
-
Linear Logic for Taxonomical Networks and Database Updates Preliminary Report
Abstract The aim of this paper is to propose a logical way to handle uncertain knowledge and change. Databases, diagnostic, planification, taxonomy are some of the domains concerned by this problem. This paper focuses on the means Linear Logic...
2005 / Christophe Fouqueré, Jacqueline Vauzeilles -
Denotational Semantics for Probabilistic Refusal Testing
Abstract In this paper, refusal testing ideas are applied to define a testing semantics for a probabilistic process algebra. A testing equivalence is defined by combining the greater discriminatory power of refusal testing and a simple treatment of...
2005 / Carlos Gregorio-Rodríguez, Manuel Núñez -
Performance Evaluation of Different Optimization Algorithms for Power Demand Forecasting Applications in a Smart Grid Environment
Abstract This paper presents an in-depth performance evaluation of three different optimization algorithms, in particular genetic algorithm (GA), particle swarm optimization (PSO), and firefly (FF) algorithm for power demand forecasting in a...
2012 / Ashraf Ul Haque, Paras Mandal, Julian Meng, Ricardo L. Pineda