Computer and information sciences topic list of research papers
-
Preface
Abstract A large class of systems can be specified and verified by abstracting away from the temporal aspects. This is the class of systems where time affects the performance but not the functional behaviour. In time-critical systems, instead, time...
2005 / Flavio Corradini, Walter Vogler -
Process Rewrite Systems
Abstract Many formal models for infinite state concurrent systems can be expressed by special classes of rewrite systems. We classify these models by their expressiveness and define a hierarchy of rewrite systems. We show that this hierarchy is...
2005 / Richard Mayr -
Probabilistic Symbolic Simulation and Verification with ⊕-OBDDs
Abstract Ordered Binary Decision Diagrams (OBDDs) have already proved useful in the verification of combinational and sequential circuits. Due to limitations of the descriptive power of OBDDs several more general models of Binary Decision Diagrams...
2005 / Christoph Meinel, Harald Sack -
Belief Propagation and LP Relaxation for Weighted Matching in General Graphs2011 / S Sanghavi, D Malioutov, A Willsky
-
The recognition of deterministic CFLs in small time and space
Let S(n) be a nice space bound such that log2 n ⩽ S(n) ⩽ n. Then every DCFL is recognized by a multitape Turing machine simultaneously in time O(n 2/S(n)) and space O(S(n)), and this time bound is optimal. If the machine...
2005 / Burchard von Braunmühl, Stephen Cook, Kurt Mehlhorn, Rutger Verbeek -
Research of AODV Routing Protocol for Ad Hoc Networks1
Abstract Firstly, this paper describes the basic characteristic, key techniques of Ad Hoc networks, and compared with other mobile communication systems. Through analyzing and comparing with DSR, TORA, ABR, AODV, it researched on-demand routing...
2013 / Sheng Liu, Yang Yang, Weixing Wang -
Enhancing Trust Management in Cloud Environment
Abstract Trust management has been identified as vital component for establishing and maintaining successful relational exchanges between e-commerce trading partners in cloud environment. In this highly competitive and distributed service...
2014 / Soon-Keow Chong, Jemal Abawajy, Masitah Ahmad, Isredza Rahmi A. Hamid -
Matchings with Interval Order Preferences: Efficiency vs Strategy-proofness
Abstract We investigate models of two-sided matching markets without transfers. Examples of such markets include marriage market, universities-applicants market and others. Gale and Shapley in 1962 first introduced this kind of problems in the...
2014 / S. Kiselgof -
Comparability of Test Results of Computer based Tests (CBT) and Paper and Pencil Tests (PPT) among English Language Learners in Iran
Abstract This study aims at examining the score comparability of institutional multiple-choice reading comprehension tests in two testing methods, i.e. paper-based and computer-based tests taken by Iranian first-year English students in Azad...
2014 / Monirosadat Hosseini, Mohamad Jafre Zainol Abidin, Mostafa Baghdarnia -
Security in cloud computing2014 /
-
A location-sensitive visual interface on the palm: interacting with common objects in an augmented space2014 / Seokhwan Kim, Shin Takahashi, Jiro Tanaka
-
Arabic Character Recognition System Development
Abstract We develop Arabic Optical Character Recognition (AOCR) system that has five stages: preprocessing, segmentation, thinning, feature extraction, and classification. In preprocessing stage, we compare two skew estimation algorithms i.e. skew...
2014 / Iping Supriana, Albadr Nasution -
A Framework to Plot and Recognize Hand Motion Trajectories towards Development of Non-tactile Interfaces
Abstract This work demonstrates a real time framework to recognize trajectories articulated in the air using bare hand motion. A frontend is established to plot the trajectories as well as to spot the interleaved dynamic gestures. Finger detection...
2016 / Lalit Kane, Pritee Khanna -
Semantic Context-aware Adaptation Platform Architecture
Abstract This paper describes some adaptation issues related to context-aware assembly of heterogeneous transformation services within a wide variety of mobile devices (laptops, smartphones and tablets). A reconfiguration platform named Kalimucho...
2014 / Alti Adel, Sébastien Laborie, Philippe Roose -
Scheduling parallel batch jobs in grids with evolutionary metaheuristics2014 / Piotr Switalski, Franciszek Seredynski
-
A Link Quality Prediction Metric for Location based Routing Protocols under Shadowing and Fading Effects in Vehicular Ad Hoc Networks
Abstract The location-based routing protocol has been chosen as one of the efficient routing approaches in vehicular ad hoc networks in terms of low overhead and high scalability. Its critical advantage lies in performing a pathless routing such...
2014 / Chi Trung Ngo, Hoon Oh -
Time-series prediction of shellfish farm closure: A comparison of alternatives
Abstract Shellfish farms are closed for harvest when microbial pollutants are present. Such pollutants are typically present in rainfall runoff from various land uses in catchments. Experts currently use a number of observable parameters (river...
2014 / Ashfaqur Rahman, Md Sumon Shahriar, Claire D’Este, Greg Smith, John McCulloch, et al. -
On the Construction of Monitors for Temporal Logic Properties
Abstract Temporal logic is a valuable tool for specifying correctness properties of reactive programs. With the advent of temporal logic model checkers, it has become an important aid for the verification of concurrent and reactive systems. In model ...
2004 / M.C.W. Geilen -
Preface
Abstract First Workshop on Object Oriented Developments This volume contains the Proceedings of the First Workshop on Object Oriented Developments (WOOD'2003). The Workshop was held in Warsaw, Poland on April 13, 2003, as a...
2005 / Viviana Bono, Michele Bugliesi -
Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination
Abstract In ACP-style process algebra, the interpretation of a constant atomic action combines action execution with termination. In a setting with timing, different forms of termination can be distinguished: some-time termination, termination...
2005 / J.C.M. Baeten