Computer and information sciences topic list of research papers
-
UIAR Common Sense: an Augmented Reality Framework for Creating Games to Collect Common Sense from Users
Abstract Augmented Reality (AR) applications have become widespread with the continued miniaturization of technology. With the increasing use of smart phones, which often provide increased processing power, enhanced and open software platforms,...
2011 / Svetoslav Dankov, Rafal Rzepka, Kenji Araki -
Japanese Speaker-Independent Homonyms Speech Recognition
Abstract Japanese has homonyms such as “hashi” ((Chop-sticks)) and “hashi” ((Bridge)). Word speech recognition has been studied for a long time, but homonym speech recognition in Japanese has not been studied. In this paper, we studied...
2011 / Jin’ichi Murakami, Haseo Hotta -
Prediction Study on Anti-Slide Control of Railway Vehicle Based on RBF Neural Networks
Abstract While railway vehicle braking, Anti-slide control system will detect operating status of each wheel-sets e.g. speed difference and deceleration etc. Once the detected value on some wheel-set is over pre-defined threshold, brake effort on...
2012 / Lijun Yang, Jimin Zhang -
Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence
Abstract We study the relationship between logical and behavioral equivalence for coalgebras on general measurable spaces. Modal logics are interpreted in these coalgebras using predicate liftings. Prominent examples include stochastic relations and ...
2009 / Christoph Schubert -
Formal Modelling of Salience and Cognitive Load
Abstract Well-designed interfaces use procedural and sensory cues to increase the salience of appropriate actions and intentions. However, empirical studies suggest that cognitive load can influence the strength of procedural and sensory cues. We...
2008 / R. Rukšėnas, J. Back, P. Curzon, A. Blandford -
A Translation-Facilitated Comparison Between the Common Language Runtime and the Java Virtual Machine
Abstract We describe how programs can be converted from the Common Language Runtime to the Java Virtual Machine, based on our experience of writing an application to do so. We also recount what this experience has taught us about the differences...
2005 / Sam Shiel, Ian Bayley -
Credo Methodology
Abstract Credo offers tools and techniques to model and analyze highly reconfigurable distributed systems. In this paper, we present an integrated methodology to use the Credo tool suite. In this methodology, we advertise the...
2010 / Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard Aichernig, Christel Baier, Tobias Blechmann, et al. -
Type Checking for JavaScript
Abstract JavaScript is a powerful imperative object based language made popular by its use in web pages. It supports flexible program development by allowing dynamic addition of members to objects. Code is dynamically typed: a runtime access to a...
2005 / Christopher Anderson, Paola Giannini -
Model Checking Russian Cards
Abstract We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results.
2006 / H.P. van Ditmarsch, W. van der Hoek, R. van der Meyden, J. Ruan -
Preface2006 / Stuart Allen, John Crossley, Kung-Kiu Lau, Iman Poernomo
-
A PVS Theory for Term Rewriting Systems
Abstract A theory, called trs, for Term Rewriting Systems in the theorem Prover PVS is described. This theory is built on the PVS libraries for finite sequences and sets and a previously developed PVS theory named ars for Abstract Reduction Systems...
2009 / André L. Galdino, Mauricio Ayala-Rincón -
A Type and Effect System for Flexible Abstract Interpretation of Java
Abstract This paper describes a flexible type and effect inference system for Featherweight Java (FJ). The effect terms generated by static type and effect inference embody the abstract interpretation of pro- gram event sequences. Flexibility in the ...
2005 / Christian Skalka, Scott Smith, David Van Horn -
Of wlp and CSP
Abstract We extend Morgan's well-known derivation of the Failures-Divergences semantics of an action system endowed with a wp sequential semantics, by showing how various other CSP semantics can be extracted from an action system endowed with an...
2009 / Steve Dunne -
Realizing XML Driven Algorithm Visualization
Abstract In this paper we describe work in progress on JHAVÉ-II, a new generation of the client-server based algorithm visualization system JHAVÉ. We believe this to be the first algorithm visualization system to be totally XML driven. We describe...
2007 / Thomas Naps, Myles McNally, Scott Grissom -
Global and Local Graph Modifiers
Abstract We define two modal logics that allow to reason about modifications of graphs. Both have a universal modal operator. The first one only involves global modifications (of some state label, or of some edge label) everywhere in the graph. The...
2009 / Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig -
Modeling and Verification of Reliable Messaging by Graph Transformation Systems
Abstract Due to the increasing need of highly dependable services in Service-Oriented Architectures (SOA), service-level agreements include more and more frequently such non-functional aspects as security, safety, availability, reliability, etc....
2007 / László Gönczy, Máté Kovács, Dániel Varró -
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
Abstract The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An important result of that research is the...
2008 / Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol -
An Approach for the Specification, Verification and Synthesis of Secure Systems
Abstract In this paper we describe an approach based on open system analysis for the specification, verification and synthesis of secure systems. In particular, by using our framework, we are able to model a system with a possible intruder and...
2007 / Fabio Martinelli, Ilaria Matteucci -
Neural-Network-Based Time-Delay Estimation2004 / Samir Shaltaf
-
Distributed Detection and Fusion in a Large Wireless Sensor Network of Random Size2005 / Ruixin Niu, Pramod K Varshney