Computer and information sciences topic list of research papers
-
A Deterministic Logical Semantics for Esterel
Abstract Esterel is a synchronous design language for the specification of reactive systems. There exist two main semantics for Esterel. On the one hand, the logical behavioral semantics provides a simple and compact formalization of the behavior of ...
2005 / Olivier Tardieu -
Checking Integrity via CoPS and Banana: the E-Commerce Case Study2004 / Chiara Braghin, Carla Piazza
-
Jordan Curves with Polynomial Inverse Moduli of Continuity
Abstract Computational complexity of two-dimensional domains whose boundaries are polynomial-time computable Jordan curves with polynomial inverse moduli of continuity is studied. It is shown that the membership problem of such a domain can be...
2007 / Ker-I Ko, Fuxiang Yu -
A Petri Net Based Method for Refining Object Oriented System Specifications
Abstract In object-oriented system design, requirements are given as use cases in the form of object interaction scenarios. One need to derive, from these object interaction scenarios, object-based behavioural specifications for implementation...
2007 / K.S. Cheung, K.O. Chow -
Modal Logic Characterization of Markovian Testing and Trace Equivalences
Abstract Markovian testing and trace equivalences have been recently proposed as reasonable alternatives to Markovian bisimilarity, as both of them induce at the Markov chain level an aggregation strictly coarser than ordinary lumping that is still...
2007 / Marco Bernardo, Stefania Botta -
Modular Structural Operational Semantics with Strategies
Abstract Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of strategies, giving rise to an effective tool to define the...
2007 / Christiano Braga, Alberto Verdejo -
Efficient Patterns for Model Checking Partial State Spaces in CTL ∩ LTL
Abstract Compositional model checks of partial Kripke structures are efficient but incomplete as they may fail to recognize that all implementations satisfy the checked property. But if a property holds for such checks, it will hold in all...
2006 / Adam Antonik, Michael Huth -
Dynamic Incremental Hashing in Program Model Checking
Abstract Although computationaly neglegdible in other domains, the hashing of states can become one of the most expensive operations in software model checking. The reason lies in the potentially large state descriptions that programs expose. In...
2006 / Tilman Mehler, Stefan Edelkamp -
Evolutionary eigenvoice MLLR speaker adaptation
Abstract This paper considers the problem of rapid and robust speaker adaptation in automatic speech recognition (ASR) systems. We propose an approach using combination of eigenspace-based maximum likelihood linear regression (EMLLR) and...
2011 / Reza Sahraeian, Mehdi Mohammadi, Ahmad Akbari, Ahmad Ayatollahi -
Open Review in computer science Elsevier grand challenge on executable papers
Abstract We present Open Review, a web-based platform aimed at stimulating executable papers by means of post-publication peer-review. Its goal is to bring computer science researchers to collaboratively build their work upon previous research...
2011 / Y.-A. Le Borgne, A. Campo -
A sparse matrix approach to reverse mode automatic differentiation in Matlab
Abstract We review the extended Jacobian approach to automatic differentiation of a user-supplied function and highlight the Schur complement form’s forward and reverse variants. We detail a Matlab operator overloaded approach to construct the...
2010 / Shaun A. Forth, Naveen Kr. Sharma -
CARMEN: Code analysis, Repository and Modeling for e-Neuroscience
Abstract The CARMEN (Code, Analysis, Repository and Modelling for e-Neuroscience) system [1] provides a web based portal platform through which users can share and collaboratively exploit data, analysis code and expertise in neuroscience. The system ...
2011 / Jim Austin, Tom Jackson, Martyn Fletcher, Mark Jessop, Bojian Liang, et al. -
Generalization of some overdetermined systems of complex partial differential equations
Abstract In this paper, we explore new generalization for solution of overdetermined systems of complex partial differential equations. And relation between analytic functions and solutions of quasi-linear systems is discussed in the paper. ...
2010 / N. Taghizadeh, A. Neirameh -
Internet usage and user preferences in Saudi Arabia
Abstract Internet is becoming an integral part of the daily life for many people and it is spreading quickly. In this paper, we discuss Internet service in Saudi Arabia. We study the Internet service penetration among different social categories and ...
2011 / Mohammed T. Simsim -
Motion Synthesis for Sports Using Unobtrusive Lightweight Body-Worn and Environment Sensing2013 / P. Kelly, C. Ó Conaire, N. E. O'Connor, J. Hodgins
-
A Logic for Reasoning about Generic Judgments
Abstract This paper presents an extension of a proof system for encoding generic judgments, the logic FO λ Δ ...
2007 / Alwen Tiu -
Preface2006 / Alessandra Di Pierro, Herbert Wiklicky
-
Soft Linear Logic and Polynomial Complexity Classes
Abstract We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and complete for polynomial time computations. SLL is the basis for the...
2008 / Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca -
Towards the Modularization of C++ Concept Maps
Abstract Concept is a new and powerful language element being introduced in the next C++ standard. With the help of concepts we can define the properties a template requires from its type arguments. If a type does not fulfill...
2009 / Zalán Szűgyi, Ádám Sipos, Zoltán Porkoláb -
From μCRL to mCRL2
Abstract We sketch the language mCRL2, the successor of μCRL, which is a process algebra with data, devised in 1990 to model and study the behaviour of interacting programs and systems. The language is improved in several respects guided by the...
2006 / Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav Usenko