Computer and information sciences topic list of research papers
-
Mining Large-scale Event Knowledge from Web Text
Abstract This paper addresses the problem of automatic acquisition of semantic relations between events. While previous works on semantic relation automatic acquisition relied on annotated text corpus, it is still unclear how to develop more generic ...
2014 / Ya-nan Cao, Peng Zhang, Jing Guo, Li Guo -
Big Data Structuring: The Role of Visual Models and Ontologies
Abstract This paper presents a novel approach aimed at analyzing the leading role of the visual structuring strategies of Big Data based on the principles of ontological engineering and cognitive psychology. It is targeted at the development of...
2014 / Tatiana Gavrilova, Margarita Gladkova -
Implementation of A3ACKs Intrusion Detection System under Various Mobility Speeds
Abstract Wireless networking is an emerging technology that allows users to access information and services anywhere regardless of their geographic location. Mobile Ad hoc Network (MANETs) is one of the most significant technologies among various...
2014 / Abdulsalam Basabaa, Tarek Sheltami, Elhadi Shakshuki -
Design and application for a replicable foresight methodology bridging quantitative and qualitative expert data2014 / Jan Erik Karlsen
-
IMSR_PreTree: an improved algorithm for mining sequential rules based on the prefix-tree2014 / Thien-Trang Van, Bay Vo, Bac Le
-
Dynamic pricing and resource allocation using revenue management for multiservice networks2009 / Grigorios Zachariadis, Javier Barria
-
Generating Mind Map from Indonesian Text Using Natural Language Processing Tools
Abstract People usually make mind map by drawing each object and its relation with other object from scratch. This research aims to make the process easier by generating mind map from text (here is Indonesian text) and providing mind map editor to...
2014 / Athia Saelan, Ayu Purwarianti -
Dedication2013 / Stephen Brookes, Benjamin Pierce, Gordon Plotkin, Dana Scott
-
A Theoretical and Empirical Evaluation of a Novel Spatial Data Indexing Structure
Abstract In this paper, we present a theoretical and empirical evaluation of the performance of the Multi Layer Quadtree (MLQ), a spatial join structure used for indexing spatial data. The Multi Layer Quadtree is based on the PMl-Quadtree. It...
2013 / Ameur Touir -
Recognition of Typewritten Arabic Characters Using Backpropagation Neural Networks
Abstract Research efforts in the field of Arabic character recognition using optical techniques have intensified in the recent past. This state of affairs prevail due to several reasons, among which is the increasing interest in computer systems...
2013 / Asim Abdul-Fattah Nabawi, Sabri Abdullah Mahmoud -
The emptiness of intersection problem for languages of k-valued categorial grammars (classical and Lambek) is undecidable
Abstract This paper is concerned with usual decidability questions on grammars for some classes of categorial grammars that arise in the field of learning categorial grammars. We prove that the emptiness of intersection of two langages is an...
2005 / Annie Foret -
On the Expressive Power of Joint Input
Abstract The join-calculus was introduced as an ‘extended subset’ of the asynchronous π-calculus by amalgamating the three operators for input, restriction, and replication into a single operator, called definition, but with the additional...
2004 / Uwe Nestmann -
Reconstruction of hv-convex Binary Matrices from Their Absorbed Projections
Abstract The reconstruction of hv-convex binary matrices from their absorbed projections is considered. Although this problem is NP-complete if the non-absorbed row and column sums are available, it is proved that such a reconstruction problem can...
2004 / Attila Kuba, Antal Nagy -
Runtime Conformance Checking of Objects Using Alloy
Abstract Object models are an important part of most object-oriented software development methodologies, where they play a central role during the specification and design phases. However, their usefulness is much more limited during the...
2004 / Michelle L. Crane, Juergen Dingel -
Information Flow Security in Mobile Ambients1 1Partially supported by MURST Projects “Interpretazione Astratta, Type Systems e Analisi Control-Flow”, and “Certificazione automatica di programmi mediante interpretazione astratta”.
Abstract A multilevel security policy is considered in the scenario of mobile systems, and modeled within “pure” Mobile Ambients calculus, in which no communication channels are present and the only possible actions are represented by the moves...
2004 / Agostino Cortesi, Riccardo Focardi -
Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments1 1This research was supported partly by Grant-in-Aid from The Ministry of Education, Science and Culture of Japan.
Abstract In this paper, we study speculative computation in a master-slave multi-agent system where reply messages sent from slave agents to a master are always tentative and may change from time to time. In this system, default values used in...
2004 / Koji Iwanuma, Katsumi Inoue -
An Abstract Böhm-normalization
Abstract We study normalization by neededness with respect to ‘infinite results’, such as Böhm-trees, in an abstract framework of Stable Deterministic Residual Structures. We formalize the concept of ‘infinite results’ for finite terms as suitable...
2004 / John Glauert, Zurab Khasidashvili -
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
Abstract Our research moves from three fundamental considerations that concern the modelling and engineering of complex systems. First, organization, coordination and security are strictly related issues that should be modelled in a uniform and...
2004 / Andrea Omicini, Alessandro Ricci, Mirko Viroli -
Rank-Based Symbolic Bisimulation
Abstract In this paper we propose an efficient symbolic algorithm for the problem of determining the maximum bisimulation on a finite structure. The starting point is an algorithm, on explicit representation of graphs, which saves both time and...
2004 / A. Dovier, R. Gentilini, C. Piazza, A. Policriti -
Assertion based Inductive Verification Methods for Logic Programs
Abstract This paper is an overview of our results on the application of abstract interpretation concepts to the derivation of a verification method for logic programs. These include the systematic design of semantics modeling various proof methods...
2005 / Marco Comini, Roberta Gori, Giorgio Levi