Computer and information sciences topic list of research papers
-
Modularity and Dyads
Abstract We study modularity in denotational semantics. We define the notion of a dyad, generalising the notion of monad, and we define the notion of symmetric premonoidal dyad, generalising the notion of strong monad. We show how dyads give rise to ...
2004 / John Power, Edmund Robinson -
Automatic Concurrency in SequenceL
Abstract This paper presents a programming language which we believe to be most appropriate for the automation of parallel data processing, especially data processing of concern to the oil industry and to the U.S. Federal Agencies involved in the...
2004 / Daniel E. Cooke, Vladik Kreinovich -
Specialisation of Higher-Order Functions for Debugging
Abstract Because functions are abstract values without convenient print representations, implementing debuggers which support higher-order code is a challenge. We present an algorithm for statically specialising higher-order functions and encoding...
2004 / Bernard Pope, Lee Naish -
Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM⋆ ⋆Supported in part by the EPSRC grant GR/N22960.
Abstract We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time model-checker KRONOS and the probabilistic model-checker PRISM. The system is...
2004 / Conrado Daws, Marta Kwiatkowska, Gethin Norman -
Static Analysis for Stack Inspection
Abstract We propose two control flow analyses for the Java bytecode. They safely approximate the set of permissions granted/denied to code at run-time. This static information helps optimizing the implementation of the stack inspection algorithm. ...
2004 / Massimo Bartoletti, Pierpaolo Degano, GianLuigi Ferrari -
The Use of Cyclomatic Complexity Metrics in Programming Performance's Assessment
Abstract Programming course is usually difficult and complex as taken from a student's point of view. Complexity of a programming code may be determined by the number of linearly independent path of its source code. This paper will be discussing the ...
2013 / Noraini Mohamed, Raja Fitriyah Raja Sulaiman, Wan Rohana Wan Endut -
Harnessing coherence of area decomposition and semantic shared spaces for task allocation in a robotic fleet
Abstract Task allocation is a fundamental problem in multi-robot systems where heterogeneous robots cooperate to perform a complex mission. A general requirement in a task allocation algorithm is to find an optimal set of robots to execute a certain ...
2014 / Domagoj Drenjanac, Slobodanka Dana Kathrin Tomic, Lukas Klausner, Eva Kühn -
Formalization and Verification of Behavioral Correctness of Dynamic Software Updates
Abstract Dynamic Software Updating (DSU) is a technique of updating running software systems on-the-fly. Whereas there are some studies on the correctness of dynamic updating, they focus on how to deploy updates correctly at the code level, e.g., if ...
2013 / Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi -
Designing Cooperation Mechanisms for Supply Chains
Abstract The paper defines generic requirements towards cooperative planning in the nucleus of any supply network that is constituted by a pair of autonomous manufacturer and supplier who possess asymmetric information on demand forecast and costs,...
2013 / J. Váncza, P. Egri -
A hybrid ACO/PSO based algorithm for QoS multicast routing problem
Abstract Many Internet multicast applications such as videoconferencing, distance education, and online simulation require to send information from a source to some selected destinations. These applications have stringent Quality-of-Service (QoS)...
2013 / Manoj Kumar Patel, Manas Ranjan Kabat, Chita Ranjan Tripathy -
A Novel Data Gathering Method for Large Wireless Sensor Networks
Abstract Wireless sensor networks are applied to collect desired data using wireless radio communications but they have limited life because of limited power using batteries. Energy efficient data collection method is very important to operate...
2013 / Djuraev Mamurjon, Byoungchul Ahn -
Distinguishing Self-directed and Self-regulated Learning and Measuring them in the E-learning Context
Abstract Self-directed (SDL) and self-regulated learning (SRL) skills are important, increasingly in e-learning, but the terms are not clearly distinguished in literature having led to tangled understandings and complications measuring SDL and SRL....
2014 / Katrin Saks, Äli Leijen -
Feature Accentuation Using Uniform Morphological Correction as Pre-processing Technique for DWT based Face Recognition
Abstract This paper proposes a novel pre-processing technique to enhance the performance of a Face Recognition (FR) system employing a unique combination of Uniform Morphological Correction (UMC) and Pose Invariant Flipping (PIF). Discrete Wavelet...
2014 / S.T. Roohi, D.S. Sachin, K. Manikantan, S. Ramachandran -
Passive Haptic Feedback for Manual Assembly Simulation
Abstract In this study movable props representing an object were used to try to achieve realistic movements of a worker during completion of a manipulation task in an assembly-like scenario recreated in a mixed reality environment. The form and the...
2013 / Néstor Andrés Arteaga Martin, Victor Mittelstädt, Michael Prieur, Rainer Stark, Thomas Bär -
Natural User Interfaces in the Motor Development of Disabled Children
Abstract This study describes a framework based upon body tracking devices and aimed at assisting children with motor impairments and aims at understanding what positive contribute it can deliver for their rehabilitation process. A case study is...
2014 / Pedro Meleiro, Rui Rodrigues, João Jacob, Tiago Marques -
Dataflow Computing and its Impact on Automation Applications
Abstract Developing efficient, scalable and reconfigurable supervisory control and data acquisition (SCADA) systems presents a unique set of challenges inherent in the development of distributed computer architectures, algorithms, protocols and...
2014 / Peter Panfilov, Sergey Salibekyan -
Extraction of Daily Life Log Measured by Smart Phone Sensors Using Neural Computing
Abstract This paper deals with the information extraction of daily life log measured by smart phone sensors. Two types of neural computing are applied for estimating the human activities based on the time series of the measured data. Acceleration,...
2013 / János Botzheim, Dalai Tang, Bakhtiar Yusuf, Takenori Obo, Naoyuki Kubota, et al. -
Multi-scale Speaker Transformation Using Radial Basis Function
Abstract In speaker transformation, the speaker dependent spectral parameters are generally characterized by single scale features. These features approximate the vocal tract, but produce artifacts during speech signal reconstruction. In this paper, ...
2014 / Jagannath Nirmal, Suprava Patnaik, Mukesh Zaveri, Pramod Kachare -
Preface to Part II Computational Intelligence and Machine Learning2012 / Rosemary D. Paradis, David Enke
-
Trends and Challenges in Formal Specification and Verification of Services Composition in Ambient Assisted Living Applications
Abstract Emerging Ambient Assisted Living (AAL) applications, as a part of AmI applications, deal essentially with health- care related applications such as assistance to the elderly and handicapped persons, emergency services. Several ap- proaches...
2013 / Mohamed Hilia, Abdelghani Chibani, Karim Djouani