Computer and information sciences topic list of research papers
-
Validating OCL Specifications with the USE Tool
Abstract The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML). Within software engineering, UML is regarded today as an important step towards development of high-quality object-oriented systems. OCL allows to sharpen...
2004 / Paul Ziemann, Martin Gogolla -
Intelligent Bus Measurement and Control System Design Based on the TEDS
Abstract The article describes in detail intelligent bus measurement and control system (IBS) which are based on CAN bus, Modbus communications protocols and Transducer Electronic Datasheet (TEDS). Measurement and control system are constituted by...
2012 / Cai Dongyang, Zhuo Zihan, Cao Xinrong, Tang Jintian -
Processes and Games
Abstract A general theory of computing is important, if we wish to have a common mathematical footing based on which diverse scientific and engineering efforts in computing are uniformly understood and integrated. A quest for such a general theory...
2005 / Kohei Honda -
The OMRS Project: State of the Art
Abstract The state of the art for reasoning systems is unsatisfactory in several respects. In most cases, provers are poorly specified, hardly interconnectible, and they require a deep insight of their custom features in order to fully exploit their ...
2005 / Fausto Giunchiglia, Piergiorgio Bertoli, Alessandro Coglio -
“Computing with words” Concept Applied to Musical Information Retrieval
Abstract The objective of the paper is to provide cognitive-based mechanisms underlying processing of musical instrument sounds. The system proposed by the author based on the rough set method and on fuzzy logic provides knowledge on how humans...
2004 / Bożena Kostek -
Neural Network Architecture for Synthesis of the Probabilistic Rule Based Classifiers
Abstract We introduce a novel neural network architecture, referred to as the normalizing neural network (NNN), where the propagated signals take the form of finite probability distributions. Appropriately tuned NNN can be applied as the compound...
2004 / Jakub Wróblewski, Marcin Szczuka -
Formal Verification in the Design of Gestural Interaction
Abstract This paper shows how formal modelling can be used in the design of a dynamic gesture language defined by sequences of poses. It discusses two models at different levels of abstraction dealing with important usability issues of the language...
2004 / G.J. Doherty, G. Faconti, M. Massink -
Formal Methods Group ETH Zürich
Abstract In this short note we give an overview on past and ongoing projects in the context of formal methods for industrial critical systems of the Formal Methods Group of the Computer Systems Institute at ETH Zürich.
2004 / Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan -
Secure Sharing of Tuple Spaces in Ad Hoc Settings
Abstract Security is emerging as a growing concern throughout the distributed computing community. Typical solutions entail specialized infrastructure support for authentication, encryption and access control. Mobile applications executing over ad...
2004 / Radu Handorean, Gruia-Catalin Roman -
A Fully Abstract Presheaf Semantics of SCCS with Finite Delay
Abstract We present a presheaf model for the observation of infinite as well as finite computations. We apply it to give a denotational semantics of SCCS with finite delay, in which the meanings of recursion are given by final coalgebras and...
2005 / Thomas T. Hildebrandt -
Preface
Abstract This volume contains papers from the DERA/RHUL Workshop on Secure Architectures and Information Flow, held at Royal Holloway, University of London, from December 1st to December 3rd, 1999. The purpose of the workshop was...
2005 / Steve Schneider, Peter Ryan -
Slicing Synchronous Reactive Programs
Abstract This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by Esterel, Lustre, Signal and Argos, employ a novel model of execution that is found useful for abstract and high...
2005 / Vinod Ganapathy, S. Ramesh -
Space- and Time-adaptive Nonblocking Algorithms
Abstract We explore techniques for designing nonblocking algorithms that do not require advance knowledge of the number of threads that participate, whose time complexity and space consumption both adapt to various measures (rather than being based...
2004 / Maurice Herlihy, Victor Luchangco, Mark Moir -
Just-in-time
Abstract A simple kind of strategy annotations is investigated, giving rise to a class of strategies, including leftmost-innermost. It is shown that under certain restrictions on annotations, an interpreter can be written which computes a normal...
2004 / Jaco van de Pol -
Global Challenges and Innovative Technologies Geared Toward New Markets: Prospects for Virtual and Augmented Reality
Abstract Effective applied research is based on close collaboration between research and industry, which, taking the findings of basic research on customer demands as its starting point, creates new means to develop and market innovative products....
2013 / Eberhard Blümel -
Coinductive Predicates and Final Sequences in a Fibration
Abstract Coinductive predicates express persisting “safety” specifications of transition systems. Previous observations by Hermida and Jacobs identify coinductive predicates as suitable final coalgebras in a fibration—a categorical abstraction of...
2013 / Ichiro Hasuo, Kenta Cho, Toshiki Kataoka, Bart Jacobs -
On the development and performance evaluation of a multiobjective GA-based RBF adaptive model for the prediction of stock indices
Abstract This paper develops and assesses the performance of a hybrid prediction model using a radial basis function neural network and non-dominated sorting multiobjective genetic algorithm-II (NSGA-II) for various stock market forecasts. The...
2013 / Babita Majhi, Minakhi Rout, Vikas Baghel -
The Ramsey numbers of wheels versus odd cycles
Abstract Given two graphs G 1 ...
2014 / Yanbo Zhang, Yunqing Zhang, Yaojun Chen -
The Effects of using Intelligent Tutoring Systems for Language Learning – Findings of a Research Evaluation Report
Abstract The present paper aims to present the pilot project “ICE3- Integrating CALL in early education environments” - developed in Romania, Spain and Germany and the impact of the ICE3 platform usage – a state-of-the-art online platform for...
2013 / Simona Găbureanu, Olimpius Istrate -
A Construction Method of Fuzzy Classifiers Using Confidence-weighted Learning
Abstract Incremental algorithms for fuzzy classifiers are studied in this paper. It is assumed that not all training patterns are given a priori for training classifiers, but are gradually made available over time. It is also assumed that the...
2013 / Tomoharu Nakashima, Takeshi Sumitani, Andrzej Bargiela