Computer and information sciences topic list of research papers
-
Analysis and Detection of Bogus Behavior in Web Crawler Measurement
Abstract With the development of the Internet, search engine technology is becoming more and more popular. Web Crawlers have taken up a great deal of Internet bandwidth. The Internet is filled with “bogus” web crawlers besides Google, Baidu and some ...
2014 / Quan Bai, Gang Xiong, Yong Zhao, Longtao He -
AccrowLive: A Multiplatform Telemetry and Sonification Solution for Rowing
Abstract Monitoring and measuring elite athletes in their natural training environment is attracting interest in the sporting and engineering research and users community. Complex and cumbersome measurement equipment can influence training and...
2014 / Daniel Cesarini, Nina Schaffert, Carlo Manganiello, Klaus Mattes -
Dynamic Programming Algorithm for Generation of Optimal Elimination Trees for Multi-frontal Direct Solver Over H-refined Grids
Abstract In this paper we present a dynamic programming algorithm for finding optimal elimination trees for computational grids refined towards point or edge singularities. The elimination tree is utilized to guide the multi-frontal direct solver...
2014 / Hassan AbouEisha, Mikhail Moshkov, Victor Calo, Maciej Paszynski, Damian Goik, et al. -
Generation of AES S-boxes with Various Modulus and Additive Constant Polynomials and Testing their Randomization
Abstract In AES, the standard S-Box is usually generated by using a particular irreducible polynomial {11B} in GF(28) as the modulus, with a particular additive constant {63}. In this paper, it has been shown that, by maintaining the criteria...
2014 / S. Das, J.K.M.S. Uz Zaman, R. Ghosh -
Processes for the Introduction of the Maintenance Service Support System
Abstract The Maintenance Service Support System (MS3) is under development within an industry transfer project. The industry transfer partner is a medium-sized German machine tool manufacturer that is providing maintenance services for its machines. ...
2014 / Eckart Uhlmann, Franz Otto -
Enhancing data consistency in decision matrix: Adapting Hadamard model to mitigate judgment contradiction
Abstract Cardinal and ordinal inconsistencies are important and popular research topics in the study of decision making with pair-wise comparison matrices (PCMs). Few of the currently-employed tactics are capable of simultaneously dealing with both...
2013 / Gang Kou, Daji Ergu, Jennifer Shang -
Integrated Image Processing and Path Planning for Robotic Sketching
Abstract Since the beginning of the development of machine vision, researchers have realized its importance in the robotics field, as it provides a useful tool for both the environment detection and decision making during the automation process. At...
2013 / A. Mohammed, L. Wang, R.X. Gao -
Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I
Abstract In this paper we present an approach to model concurrent systems specified in a temporal concurrent constraint language. Our goal is to construct a framework in which it is possible to apply the Model Checking technique to programs...
2004 / Moreno Falaschi, Alberto Policriti, Alicia Villanueva -
A Type Inference Algorithm for Secure Ambients
Abstract We consider a type discipline for the Ambient Calculus that associates ambients with security levels and constrains them to be traversed by or opened in ambients of higher security clearance only. We present a bottom-up algorithm that,...
2004 / Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone -
Learnability of type-logical grammars
Abstract A procedure for learning a lexical assignment together with a system of syntactic and semantic categories given a fixed type-logical grammar is briefly described. The logic underlying the grammar can be any cut-free decidable modally...
2005 / Sean A. Fulop -
Formally Defining Security Properties with Relations on Streams
Abstract In this paper we show how to formally define security properties in the framework of Focus, a general approach for the specification and verification of reactive systems. In Focus, systems are composed of components that communicate...
2004 / Volkmar Lotz -
Visual Language Parsing in GenGEd1
Abstract GenGEd supports the visual specification of visual languages and the generation of syntax-directed editors. However, syntax-directed editing is not always desired by the user. Therefore we extended GenGEd by parsing facilities which allow...
2004 / R. Bardohl, T. Schultzke, G. Taentzer -
A neural-AdaBoost based facial expression recognition system
Abstract This study improves the recognition accuracy and execution time of facial expression recognition system. Various techniques were utilized to achieve this. The face detection component is implemented by the adoption of Viola–Jones...
2013 / Ebenezer Owusu, Yongzhao Zhan, Qi Rong Mao -
An Adaptive Weighted Differential Game Guidance Law
Abstract For intercepting modern high maneuverable targets, a novel adaptive weighted differential game guidance law based on the game theory of mixed strategy is proposed, combining two guidance laws which are derived from the perfect and imperfect ...
2012 / Ping ZHANG, Yangwang FANG, Fengming ZHANG, Bingsong XIAO, Shiguo HU, et al. -
A Reputation-based Collaborative Approach for Spam Filtering
Abstract Spam and spam filters are contrarious components of a complex interdependent social ecosystem. Traditional spam filtering techniques or systems are usually designed and deployed individually that neglect the distributed and bulk...
2013 / Wenxuan Shi, Maoqiang Xie -
Extensible Software Design of a Multi-Agent Transport Simulation
Abstract This paper explains the chosen methodology for software design of the Multi-Agent Transport Simulation, MATSim. The design focusses on standard architectures and design patterns to ease usability and improve extensibility of the software....
2013 / D. Grether, K. Nagel -
A Mobile Solution to Enhance Training and Execution of Troubleshooting Techniques of the Engine Air Bleed System on Boeing 737
Abstract The process of troubleshooting an aircraft engine requires highly skilled and trained personnel who must be able to respond effectively to any circumstance; therefore, new methods of training to accelerate the cognitive processes of...
2013 / Horacio Rios, Eduardo González, Ciro Rodriguez, Hector R. Siller, Manuel Contero -
Is Common Test Data the Solution to Poor Quality? Solving the Right Problem – An Analysis of a Public Health Information System
Abstract This paper reports our initial findings regarding the state of testing of software in the Swedish public health information system. At present, the system is only available through a black-box interface, i.e. through the GUI. This and other ...
2014 / Sigrid Eldh, Martin Blom -
Prioritization of Clusters for Post-genomic Analysis
Abstract Clustering algorithms are occasionally used on biological datasets to obtain statistically coherent groups of biomolecules. The biological coherence of such a group (e.g., a gene or protein cluster) might have different interpretations....
2014 / Malay Bhattacharyya, Sanghamitra Bandyopadhyay -
A New Ensemble Learning Method for Temporal Pattern Identification
Abstract In this paper we present a method for identification of temporal patterns predictive of significant events in a dynamic data system. A new hybrid model using Reconstructed Phase Space (MRPS) and Hidden Markov Model (HMM) is applied to...
2012 / Wenjing Zhang, Xin Feng