Computer and information sciences topic list of research papers
-
Method to Determine Handwriting Stroke Types and Directions for Early Detection of Handwriting Difficulty
Abstract The early detection of children suffering from handwriting difficulty is important for timely intervention to avoid negative impact in learning. In this paper, a method that identified the types of strokes involved in writing Latin...
2012 / Chin Chea Neo, Eileen Lee Ming Su, Puspa Inayat Khalid, Che Fai Yeong -
A Natural Deduction System for Keisler's Quantification
Abstract Labelled deduction systems have been used to present a large class of logics. The purpose of this paper is to show N D Q , a (labelled) natural deduction system for...
2005 / Christian Jacques Rentería, Edward Hermann Haeusler -
Attacking Group Multicast Key Management Protocols Using Coral
Abstract This paper describes the modelling of a two multicast group key management protocols in a firstorder inductive model, and the discovery of previously unknown attacks on them by the automated inductive counterexample finder Coral. These...
2005 / Graham Steel, Alan Bundy -
Flat Committed Join in Join2004 / Roberto Bruni, Hernán Melgratti, Ugo Montanari
-
Uniform Domains and Uniform Spaces2004 / Hideki Tsuiki
-
Identifying critical nodes in undirected graphs: Complexity results and polynomial algorithms for the case of bounded treewidth
Abstract We consider the problem of deleting a limited number of nodes from a graph in order to minimize a connectivity measure of the surviving nodes. We prove that the problem is N P ...
2013 / Bernardetta Addis, Marco Di Summa, Andrea Grosso -
An Optimization Evaluation Method for Stability Oriented Software System
Abstract It's difficult for people to evaluate the stability of a software system among recent developments in the field of software maintenance. It has been proved that ripple effect has great impact on component's performance because of the...
2012 / Jin-Gang Li, Li-Jie Cui -
Multi-agent Distributed Framework for Swarm Intelligence
Abstract This paper presents a multi-agent distributed framework for Swarm Intelligence (SI) based on our previous work ACODA (Ant Colony Optimization on a Distributed Architecture). Our framework can be used to distribute SI algorithms for solving...
2013 / Sorin Ilie, Costin Bădică -
Secure Media Independent Handover Message Transport in Heterogeneous Networks2009 / Jeong-Jae Won, Murahari Vadapalli, Choong-Ho Cho, VictorCM Leung
-
Euclidean preferences, option sets and strategyproofness2011 / Georges Bordes, Gilbert Laffond, Michel Le Breton
-
An Adaptable 14-Bit Dual Slope ADC with Wide Input Range
Abstract This paper presents the design of an adjustable 14-bit dual slope ADC with wide input range for low frequency applications. The proposed topology can handle both negative and positive input voltage signal with high accuracy. The adaptation...
2012 / Andriana Voulkidou, Lambros Mountrichas, Stylianos Siskos -
Analysis of Data Visualizations in Daily Newspapers in Terms of Graphic Design
Abstract Data visualization is the studies that visually present abstracted information in certain schematic forms, which also include their own attributes and variables. Basic aim of the data visualization is to convey the information with...
2012 / Banu Inanc Uyan Dur -
Algebraic foundations for the semantic treatment of inquisitive content2013 / Floris Roelofsen
-
Planning a Master’s Level Curriculum According to Career Space Recommendations Using Concept Mapping Techniques2006 / Sergio L. Toral Marìn, Rocìo Martìneztorres, Federico J. Barrero Garcìa, Sergio Gallardo Vázquez, Enrique Vargas, et al.
-
The Design of a Spatio-Temporal Database to Investigate on Sex Offenders
Abstract Sex offenders have a high recidivism rate. Fight against recidivism is, therefore, a relevant issue. Recent laws call for the use of the GPS technology to monitor the whereabouts of sex offenders. In the paper, we design a Spatio-temporal...
2013 / Paolino Di Felice -
A systematic review of transformation approaches between user requirements and analysis models2010 / Tao Yue, Lionel C. Briand, Yvan Labiche
-
Refinement and Test Case Generation in UTP
Abstract This paper presents a theory of testing that integrates into Hoare and He's Unifying Theory of Programming (UTP). We give test cases a denotational semantics by viewing them as specification predicates. This reformulation of test cases...
2007 / Bernhard K. Aichernig, Jifeng He -
Preface2009 / Alain Girault, Eric Rutten
-
A WOWA-based Aggregation Technique on Trust Values Connected to Metadata
Abstract Metadata produced by members of a diverse community of peers tend to contain low-quality or even mutually inconsistent assertions. Trust values computed on the basis of users' feedback can improve metadata quality and reduce inconsistency,...
2006 / Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati, Marco Viviani -
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
Abstract A key feature for infrastructures providing coordination services is the ability to define the behaviour of coordination abstractions according to the requirements identified at design-time. We take as a representative for this scenario the ...
2007 / Mirko Viroli, Andrea Omicini