Computer and information sciences topic list of research papers
-
Preface2005 / John Derrick, Eerke Boiten
-
Invariants for Non-Hierarchical Object Structures
Abstract We present a Hoare-style specification and verification approach for invariants in sequential OO programs. It allows invariants over non-hierarchical object structures, in which update patterns that span several objects and methods occur...
2008 / Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit -
Preface2006 / Reiko Heckel
-
A “Hardware Compiler” Semantics for Handel-C
Abstract We present a denotational semantics for the hardware compilation language Handel-C that maps language constructs to a set of equations, which describe the structure of the resulting hardware. This semantics is then shown to be useful for...
2006 / Andrew Butterfield, Jim Woodcock -
Undecidable Properties on Length-Two String Rewriting Systems
Abstract Length-two string rewriting systems are length-preserving string rewriting systems that consist of length-two rules. This paper shows that confluence, termination, left-most termination and right-most termination are undecidable properties...
2008 / Masahiko Sakai, Yi Wang -
Tableau Systems for Some Paraconsistent Modal Logics
Abstract In this paper we present tableau-style proof theories for some modal extensions of two paraconsistent propositional logics: RM3, which allows for truth value gluts, and the weaker BN4, which also allows for truth value gaps. These proof...
2005 / Casey McGinnis -
Automatic Extraction of Super-Function From Bilingual Corpus
Abstract Extraction of a large Super-Function (SF) is one of the most important factor in realizing SF based machine translation. This paper presents a method to automatically extract SF from a Japanese-English bilingual corpus. The extraction...
2009 / Manabu Sasayama, Fuji Ren, Shingo Kuroiwa -
Model Checking Biological Oscillators
Abstract We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. The semantics of their interactions, parametric w.r.t. a model of synchronization, is introduced. We apply it to the...
2009 / Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei -
Time-awareness and Proactivity in Models of Interactive Computation
Abstract The paper discusses explicit properties and the requirements that are to be verified, imposed upon software-intensive systems by their environment and by their users. Those systems are time-critical, may contain autonomous components, and...
2005 / Leo Motus, Merik Meriste, Walter Dosch -
Integration of Multiple Classifiers for Chinese Semantic Dependency Analysis
Abstract Semantic Dependency Analysis (SDA) has extensive applications in Natural Language Processing (NLP). In this paper, an integration of multiple classifiers is presented for SDA of Chinese. A Naive Bayesian Classifier, a Decision Tree and a...
2009 / Jiajun Yan, David B. Bracewell, Fuji Ren, Shingo Kuroiwa -
Space-Time Convolutional Codes over Finite Fields and Rings for Systems with Large Diversity Order2008 / Mario de Noronha-Neto, BF Uchôa-Filho
-
A mobile architecture with dynamic message filtering for emergency response environments2013 / Bill Karakostas
-
Mind mapping applications in special teaching methods courses for science teacher candidates and teacher candidates’ opinions concerning the applications
Abstract In this research, the examples of mind maps, prepared by science teacher candidates, about the different subject of Science and Technology are given. In addition, six open-ended questions about the using of mind mapping in constructive...
2009 / Ertug Evrekli, Ali Gunay Balim, Didem İnel -
Discovering Computer-Assisted Learning Processes based on Objective Exam Score Transformations
Abstract Based on the implementation of a newly developed e-learning technology which features Reproducible Computing (www.wessa.net and www.freestatistics.org), it is investigated how the relationships between learning outcomes (as measured by exam ...
2009 / Patrick Wessa -
Design of Farthest-Point Masks for Image Halftoning2004 / R. Shahidi, C. Moloney, G. Ramponi
-
Clock Synchronization in Wireless Sensor Networks: An Overview2009 / Ill-Keun Rhee, Jaehan Lee, Jangsub Kim, Erchin Serpedin, Yik-Chung Wu
-
On The Roles of APIs in the Coordination of Collaborative Software Development2009 / Cleidson R. B. de Souza, David F. Redmiles
-
On-the-fly Multimedia Document Adaptation Architecture
Abstract Currently, multimedia contents can be accessed at anytime and anywhere with a wide variety of devices, such as laptops, smartphones and tablets. In this paper, we present a service-based multimedia adaptation architecture where adaptation...
2012 / Quang Pham Hai, Sébastien Laborie, Philippe Roose -
Parallel 3D fast wavelet transform on manycore GPUs and multicore CPUs
Abstract GPUs have recently attracted our attention as accelerators on a wide variety of algorithms, including assorted examples within the image analysis field. Among them, wavelets are gaining popularity as solid tools for data mining and video...
2010 / Joaquín Franco, Gregorio Bernabé, Juan Fernández, Manuel Ujaldón -
Distributed Contract Negotiation System for Virtual Organizations
Abstract Nowadays, with the broadening usage of distributed systems and Grid, the need for cooperation between many different heterogeneous organizations occurs. Such cooperation usually requires sharing of access to data, service and other tangible ...
2011 / Marcin Stelmach, Bartosz Kryza, Renata Slota, Jacek Kitowski