Computer and information sciences topic list of research papers
-
Accurate Evaluation of Arithmetic Expressions (Invited Talk)
Abstract In this article, we focus on the synthesis of arithmetic expressions that can be evaluated efficiently on computers in the sense that they do not create overflows, are accurate and do not use unnecessary ressources. We consider several...
2012 / Matthieu Martel -
Extended Methods to Dynamically Estimate Emphasizing Points for Group Decision-making and their Evaluation
Abstract In previous work, we proposed and evaluated a method of dynamic estimation of emphasizing points (DEEP). The purpose of this study is to extend DEEP to estimate the emphasizing points of a group. A preliminary experiment investigated...
2013 / Yoshimasa Ohmoto, Misao Kataoka, Toyoaki Nishida -
Analysing interactive devices based on information resource constraints
Abstract Analysis of the usability of an interactive system requires both an understanding of how the system is to be used and a means of assessing the system against that understanding. Such analytic assessments are particularly important in...
2013 / José Creissac Campos, Gavin Doherty, Michael D. Harrison -
Matsuoka Neuronal Oscillator for Traffic Signal Control Using Agent-based Simulation
Abstract Matsuoka neuronal oscillator is proposed to control the traffic signals of an isolated four-phase signalized intersection. The oscillator is a model of central pattern generator (CPG) and has seen various applications in humanoid robots....
2013 / F.C. Fang, W.L. Xu, K.C. Lin, F. Alam, J. Potgieter -
Verb Production in Semantic Dementia: Impact of Semantic Memory Impairment on Derivational Morphology2013 / N. Auclair-Ouellet, M. Fossard, M. Houde, S. Routhier, A. Lévesque, et al.
-
The Importance of Geometry Combined with New Techniques for Augmented Reality
Abstract From the field of the “Geomatics Engineering”[1], better known as “Topographic Engineering” and other fields as “surveyors”, has always driven the knowledge of our environment in order to capture it on a support then allow other users to...
2013 / Karle Olalde, Beñat García, Andres Seco -
Saudi Accented Arabic Voice Bank
Abstract The aim of this paper is to present an Arabic speech database that represents Arabic native speakers from all the cities of Saudi Arabia. The database is called the Saudi Accented Arabic Voice Bank (SAAVB). Preparing the prompt sheets,...
2013 / Mansour Alghamdi, Fayez Alhargan, Mohammed Alkanhal, Ashraf Alkhairy, Munir Eldesouki, et al. -
Rule-based Programming for Building Expert Systems
Abstract In this work, we compare three rule-based programming tools used for building an expert system for microbiological laboratory data validation and bacteria infections monitoring. The first prototype of the system was implemented in KAPPA-PC. ...
2004 / E. Lamma, L. Maestrami, P. Mello, F. Riguzzi, S. Storari -
Rewriting Logic as a Logical and Semantic Framework1 1This paper is a short version of [36], where the reader can find more examples and details not discussed here.
Abstract Rewriting logic [40] is proposed as a logical framework in which other logics can be represented, and as a semantic framework for the specification of languages and systems. Using concepts from the theory of general logics [39],...
2004 / Narciso Martí-Oliet, José Meseguer -
Grail: a functional form for imperative mobile code
Abstract In Robert Louis Stevenson's novel[31], Dr Jekyll is a well-regarded member of polite society, while his alter ego Mr Hyde shares the same physical form but roams abroad communing with the lowest elements. In this paper we present Grail, a...
2005 / Lennart Beringer, Kenneth MacKenzie, Ian Stark -
Parallel Reduction in Type Free λμ-Calculus
Abstract The typed λμ-calculus is known to be strongly normalizing and weakly Church-Rosser, and hence becomes confluent. In fact, Parigot formulated a parallel reduction to prove confluence of the typed λμ-calculus by “Tait-and-Martin-Löf” method....
2004 / Kensuke Baba, Sachio Hirokawa, Ken-Etsu Fujita -
On the Compact-regular Coreflection of a Stably Compact Locale
Abstract A nucleus on a frame is a finite-meet preserving closure operator. The nuclei on a frame form themselves a frame, with the Scott continuous nuclei as a subframe. We refer to this subframe as the patch frame. We show that the patch...
2004 / Martín Hötzel Escardó -
Online train disposition
Abstract We deal with an online problem arising from bus/tram/train disposition problems. In particular, we look at the case in which the delay is unknown and the vehicle can only wait in a station so as to minimize the passengers waiting time. ...
2004 / Luzi Anderegg, Paolo Penna, Peter Widmayer -
GSOS for probabilistic transition systems
Abstract We introduce probabilistic GSOS, an operator specification format for (reactive) probabilistic transition systems which arises as an adaptation of the known GSOS format for labelled (nondeterministic) transition systems. Like the standard...
2004 / Falk Bartels -
Rewriting Calculus with(out) Types
Abstract The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting systems, and lambda calculi. In the Rewriting Calculus (or Rho...
2005 / Horatiu Cirstea, Claude Kirchner, Luigi Liquori -
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic
Abstract We show that the generalized variant of rewriting logic where the underlying equational specifications are membership equational theories, and where the rules are conditional and can have equations, memberships and rewrites in the...
2005 / Manuel Clavel, José Meseguer, Miguel Palomino -
An Abstract Concept of Optimal Implementation
Abstract In previous works, we introduced Stable Deterministic Residual Structures (SDRSs), Abstract Reduction Systems with an axiomatized residual relation which model orthogonal term and graph rewriting systems, and Deterministic Family Structures ...
2005 / Zurab Khasidashvili, John Glauert -
Phase-Difference Ambiguity Resolution for a Single-Frequency Signal in the Near-Field Using a Receiver Triplet2010 / Tarig Ballal, C. J. Bleakley
-
Securing VANET by Preventing Attacker Node Using Watchdog and Bayesian Network Theory
Abstract VANET is a type of Ad-hoc network in which nodes movements are limited along roads. To communicate with each other and with road side units, nodes are equipped with radio devices in VANET. VANET are widely used for comfort and safety...
2016 / Jay Rupareliya, Sunil Vithlani, Chirag Gohel -
Modeling the Impact of Anchoring in Capacity Adjustments to Work-In-Process Behavior in a Two Stage Production System: A System Dynamics Approach
Abstract Past researches have focused on managing Work-In-Process (WIP) through the use of WIP control policies such as Kanban, CONWIP, and DBR. These WIP policies assume that decision makers are rational and are able to follow the optimality...
2012 / Dennis T. Beng Hui