Computer and information sciences topic list of research papers
-
Kinect-Sign, Teaching Sign Language to “Listeners” through a Game
Abstract The sign language is widely used by deaf people around the globe. As the spoken languages, several sign languages do exist. The way sign language is learned by deaf people may have some details to be improved, but one can state that the...
2014 / João Gameiro, Tiago Cardoso, Yves Rybarczyk -
A Co-iterative Characterization of Synchronous Stream Functions
Abstract This paper presents an attempt to characterize synchronous stream functions within the framework of co-iteration and to use this characterization in building a compiler for (higher order and recursive) synchronous data-flow programs. First, ...
2004 / Paul Caspi, Marc Pouzet -
On the Serializability of Transactions in JavaSpaces
Abstract JavaSpaces is a coordination infrastructure inspired by the shared dataspace model: processes interact by introducing, consuming, and testing for the presence/absence of data in a common repository. Besides these traditional operations, an...
2004 / Nadia Busi, Gianluigi Zavattaro -
Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols
Abstract We study a class of extended automata defined by guarded commands over Presburger arithmetic with uninterpreted functions. On the theoretical side, we show that the bounded reachability problem is decidable in this model. On the practical...
2004 / Vlad Rusu, Elena Zinovieva -
The ELAN Environment:2004 / M.G.J. van den Brand, P.-E. Moreau, C. Ringeissen
-
The Research on Video Retrieval Based on Content for Industrial Applications
Abstract Video retrieval has been widely used and broad prospects for development, is currently a hot research field of multimedia. From the analysis of content-based video retrieval system structure to fully explore the system structure involved in ...
2012 / Lu Weiyan, Wang Wenyan -
Preface
Abstract This volume contains the proceedings of the FCT′99 Workshop on Distributed Systems held on 2-3 September 1999 in Iassy, Romania as a satellite event to FCT′99 — the 12th International Symposium on Fundamentals of Computation Theory. ...
2005 / Gheorghe Stefanescu -
Intuitionistic Proof Transformations: Complexity and Applications
Abstract We investigate a proof transformation from the multi-succedent calculus LJmc to Gentzen's single-succedent calculus LJ intuitionistic logic. We analyze the complexity of such a transformation and show that there exists ...
2005 / Uwe Egly, Stephan Schmitt -
Advances in Target Detection and Tracking in Forward-Looking InfraRed (FLIR) Imagery2014 / Andrea Sanna, Fabrizio Lamberti
-
BYOD Bring Your Own Device
Abstract Using modern devices like smartphones and tablets offers a wide variety of advantages; this has made them very popular as consumer devices in private life. Using them in the workplace is also popular. However, who wants to carry around and...
2014 / Georg Disterer, Carsten Kleiner -
Extracting Comparable Articles from Wikipedia and Measuring their Comparabilities
Abstract Parallel corpora are not available for all domains and languages, but statistical methods in multilingual research domains require huge parallel/comparable corpora. Comparable corpora can be used when the parallel is not sufficient or not...
2013 / Motaz Saad, David Langlois, Kamel Smaïli -
Improving Analytics in Urban Water Management: A Spectral Clustering-based Approach for Leakage Localization
Abstract Worldwide growing water demand has been forcing utilities to successfully manage their costs. Contemporarily, within an era of tight budgets in most economic and social sectors, it affects also Water Distribution Networks (WDN). So, an...
2014 / A. Candelieri, D. Conti, F. Archetti -
Interaction System based on Internet of Things as Support for Education
Abstract The Internet of Things is a new paradigm that is revolutionizing computing. It is intended that all objects around us are connected to the network, providing “anytime, anywhere” access to information. This concept is gaining ground, thanks...
2013 / Jorge Gómez, Juan F. Huete, Oscar Hoyos, Luis Perez, Daniela Grigori -
Nutritional Information Visualization Using Mobile Augmented Reality Technology
Abstract Information visualization with Augmented Reality (AR) technology environments is very effective method in the expansion of information process visually, especially in health-related area by using mobile devices. In this study, Android...
2014 / Muhammad Zulfakar Bayu, Haslina Arshad, Nazlena Mohamad Ali -
On a Graph Approach to Modal Logics
Abstract We introduce a sound and complete graph calculus for multi-modal logics. This formalism internalizes the (Kripke) semantics of modal logics and provides uniform tools for expressing and manipulating modal formulas. We present the graph...
2014 / Paulo A.S. Veloso, Sheila R.M. Veloso, Mario R.F. Benevides -
A noise tolerant fine tuning algorithm for the Naïve Bayesian learning algorithm
Abstract This work improves on the FTNB algorithm to make it more tolerant to noise. The FTNB algorithm augments the Naïve Bayesian (NB) learning algorithm with a fine-tuning stage in an attempt to find better estimations of the probability terms...
2014 / Khalil El Hindi -
K Semantics for Assembly Languages: A Case Study
Abstract Formal verification of embedded software systems often requires a low-level representation of the program under scrutiny. It is often the case that the verification tools rely on ad-hoc encodings of particular assembly language semantics....
2014 / Mihail Asăvoae -
Self-organized e-Health Application Using IEEE 11703: An Experimental Approach
Abstract Nowadays, increasing interest in the health care enables active research about the standard for transmitting/receiving data of health devices. Body Area Networks play a vital role of supporting various e-Health applications. Standardization ...
2014 / Syed Hassan Ahmed, Asanka Sayakkara, Gwanghyeon Kim, Dongkyun Kim -
Energy Saving in WSN Using Monitoring Values Prediction
Abstract The Wireless Sensor Networks (WSNs) deployment introduces many issues and challenges mainly in terms of energy independence. In this context, we adopted the IBM control loop which is composed of four steps (Monitor, Analyze, Plan and...
2014 / Ahmed Jemal, Marwa Hachicha, Riadh BEN Halima, Ahmed HADJ Kacem, Khalil Drira, et al. -
Central and Distributed GPU based Parallel Disk Systems for Data Intensive Applications
Abstract Parallel disk systems are capable of fulfilling rapidly increasing demands on both large storage capacity and high I/O performance. However, it is challenging to significantly increase disk I/O bandwidth for data-intensive workloads due to...
2014 / Mais Nijim, Soumya Saha, Yousef Nijim