Computer and information sciences topic list of research papers
-
Identity Document Authentication Based on VSS and QR Codes
Abstract In this paper, an identification document authentication system is proposed, taking advantage of the perfect secrecy of the Visual Secret Sharing (VSS) scheme and the powerful and practical Quick Response (QR) code. In the proposed scheme,...
2012 / Espejel-Trujillo A., Castillo-Camacho I., Nakano-Miyatake M., Perez-Meana H. -
Improving protein coreference resolution by simple semantic classification2012 / Ngan Nguyen, Jin-Dong Kim, Makoto Miwa, Takuya Matsuzaki, Junichi Tsujii
-
The ESF Programme on ‘Integrated Approaches to Functional Genomics’. Workshop on ‘Ontology for Biology’2003 / Luca Bernardi, Isabel Rojas, Paul van der Vet
-
Towards a Semantic Lexicon for Biological Language Processing2005 / Karin Verspoor
-
Variables as Resource for Shared-Memory Programs: Semantics and Soundness
Abstract Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separation logic and permissions. An advantage of their approach is...
2006 / Stephen Brookes -
A Type-theoretic Reconstruction of the Visitor Pattern
Abstract In object-oriented languages, the Visitor pattern can be used to traverse tree-like data structures: a visitor object contains some operations, and the data structure objects allow themselves to be traversed by accepting visitors. In the...
2006 / Peter Buchlovsky, Hayo Thielecke -
Distributive ρ-calculus
Abstract The rewriting calculus has been introduced as a general formalism that uniformly integrates rewriting and λ-calculus. In this calculus all the basic ingredients of rewriting such as rewrite rules, rule applications and results are...
2007 / Horatiu Cirstea, Clément Houtmann, Benjamin Wack -
Preface2008 / Andrej Bauer, Michael Mislove
-
Temporal Logics of Knowledge and their Applications in Security
Abstract Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we investigate the application of temporal logics ...
2007 / Clare Dixon, Mari-Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek -
An Algebraic Approach to Refinement with Fair Choice
Abstract In the analysis and design of concurrent systems, it can be useful to assume fairness among processes. Action systems model a process by a set of atomic actions. Typically, actions are combined by nondeterministic choice, which models...
2008 / Emil Sekerinski -
SaveCCM: An Analysable Component Model for Real-Time Systems
Abstract Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essential dimension is time, since many embedded systems have...
2006 / Jan Carlson, John Håkansson, Paul Pettersson -
From Predicates to Programs: The Semantics of a Method Language
Abstract This paper explains how a declarative method language, based upon the formal notations of Z and B, can be used as a basis for automatic code generation. The language is used to describe the intended effect of operations, or methods, upon...
2007 / David Faitelson, James Welch, Jim Davies -
Using Abduction to Compute Efficient Proofs
Abstract The aim of this work is to show how to compute an extra hypothesis H to an unproved sequent Γ ⊢ ? ...
2009 / Marcelo Finger -
Preface2008 / Alain Girault, Robert de Simone
-
Earthquakes magnitude predication using artificial neural network in northern Red Sea area
Abstract Since early ages, people tried to predicate earthquakes using simple observations such as strange or atypical animal behavior. In this paper, we study data collected from past earthquakes to give better forecasting for coming earthquakes....
2011 / Abdulrahman S.N. Alarifi, Nassir S.N. Alarifi, Saad Al-Humidan -
Voicing and Tension: When one Phonetic Paremeter Compensates for the Dysfunction of Another: A Case Study of an Anarthric Catalan Native Speaker2011 / Alba Rosas, Anna Marczyk, Lorraine Baqué, Jean-Luc Nespoulous
-
Multi-GPU Implementation of LU Factorization
Abstract LU factorization is the most computationally intensive step in solving systems of linear equations. By obtaining first the LU factorization of the coefficient matrix, we then may readily solve the system using backward substitution. The...
2012 / Yulu Jia, Piotr Luszczek, Jack Dongarra -
DOP prediction over Egypt from SP3 file for long-term
Abstract An important error source in satellite surveying deals with the geometry of the visible satellite constellation at the time of observation. This is similar to the situation in traditional surveys, where the geometry of the network of...
2012 / Aly M. El-naggar -
Seesaw: An Interactive Display to Facilitate Social Interaction
Abstract This paper introduces Seesaw an interactive environment prototype that assists children to conquer common/potential fear during social communication in order to facilitate interactions that provide enhanced group-learning activities. Based...
2015 / Chulin Yang, Stephen Jia Wang -
Bridging the gap between teaching and breaking news: A new approach based on ESHE and ICT
Abstract Information overload is one of the main challenges in the current educational context. The European Space for Higher Education (ESHE) demands autonomous student's work and that the theoretical concepts introduced in class are contextualized ...
2011 / Soto Montalvo, Jesús Palomo, Pilar Laguna