Computer and information sciences topic list of research papers
-
Multipath Routing in Wireless Sensor Networks: Survey and Research Challenges2012 / Marjan Radi, Behnam Dezfouli, Kamalrulnizam Abu Bakar, Malrey Lee
-
Efficient evaluation of reachability query for directed acyclic XML graph based on a prime number labelling schema
Abstract Many schema labelling approaches have been designed to facilitate querying of XML documents. The proposed algorithms are based on the fact that ancestor–descendant relationships among nodes can be quickly determined. Schema labelling is a...
2012 / Awny Sayed, Mohammed Kayed, Mayyada Hammoshi -
Four Decades of Mizar2015 / Adam Grabowski, Artur Korniłowicz, Adam Naumowicz
-
Assessment of dysarthric speech through rhythm metrics
Abstract This paper reports the results of acoustic investigation based on rhythmic classifications of speech from duration measurements carried out to distinguish dysarthric speech from healthy speech. The Nemours database of American dysarthric...
2012 / H. Dahmani, S.-A. Selouani, D. O’shaughnessy, M. Chetouani, N. Doghmane -
Fast business process similarity search2012 / Zhiqiang Yan, Remco Dijkman, Paul Grefen
-
Towards Identifying the Challenges Associated with Emerging Large Scale Social Networks
Abstract Social networking sites like Facebook, YouTube, Orkut and twitter are among the most popular sites on the internet. Users of these sites form a social network (SN), which provides a powerful mean of sharing, organizing, and finding contents ...
2011 / Haroon Malik, Ahsan Samad Malik -
Performance Evaluation Study of Intrusion Detection Systems
Abstract With the thriving technology and the great increase in the usage of computer networks, the risk of having these network to be under attacks have been increased. Number of techniques have been created and designed to help in detecting and/or ...
2011 / Adeeb Alhomoud, Rashid Munir, Jules Pagna Disso, Irfan Awan, A. Al-Dhelaan -
An Innovative Face Detection Based on YCgCr Color Space
Abstract It is very challenging to recognize a face from an image due to the wide variety of face and the uncertain of face position. The research on detecting human faces in color image and in video sequence has been attracted with more and more...
2012 / Kamarul Hawari Bin Ghazali, Jie Ma, Rui Xiao, Solly Aryza lubis -
An Improved Median Filtering Algorithm for Image Noise Reduction
Abstract The median filtering algorithm has good noise-reducing effects, but its time complexity is not desirable. The paper proposed an improved median filtering algorithm. The algorithm uses the correlation of the image to process the features of...
2012 / Youlian Zhu, Cheng Huang -
The Research of Paper Datum Mmanagement Information System
Abstract Now, paper management is becoming an important work in many colleges and universities, and the digitization of paper management is a significant constituent part of the information of college management. We have studied a universal...
2012 / Ji Zhigang, Niu Gaifang, Liu Lingxi -
Generic Object Detection Using Improved Gentleboost Classifier
Abstract Object detection in natural scene and image is playing an important role in computer vision. The traditional object detection method is more about local feature extraction and supervised learning. Using this method, the detection rate of...
2012 / Li Guo, Yu Liao, Daisheng Luo, Honghua Liao -
Design and Application for Long-Distance TV Conference System
Abstract Long-distance TV Conference technology, which is able to realize the interlaced communication and management of information among multiple-point, is one of the multiple-media information technologies. The article introduces the...
2012 / Hongbo Hu -
Type Systems for Optimizing Stack-based Code
Abstract We give a uniform type-systematic account of a number of optimizations and the underlying analyses for a bytecode-like stack-based low-level language, including analysis soundness proofs and strongest analysis (principal type inference)...
2007 / Ando Saabas, Tarmo Uustalu -
Integrating test generation functionality into the Teaching Machine environment
Abstract We propose an extension of the Teaching Machine project, called Quiz Generator, that allows instructors to produce assessment quizzes in the field of algorithm and data structures quite easily. This extension makes use of visualization...
2009 / Michael Bruce-Lockhart, Pilu Crescenzi, Theodore Norvell -
Compositional Failure-based Equivalence of Constraint Automata
Abstract Reo is a coordination language for modeling component connectors of component-based computing systems. Constraint automaton, as an extension of finite automaton, has been proposed as the operational semantics of Reo. In this paper, we...
2009 / Mohammad Izadi, Ali Movaghar -
Computing Over-Approximations with Bounded Model Checking
Abstract Bounded Model Checking (BMC) searches for counterexamples to a property ϕ with a bounded length k. If no such counterexample is found, k is increased. This process terminates when k exceeds the completeness threshold ...
2006 / Daniel Kroening -
Recovering Relationships between Documentation and Source Code based on the Characteristics of Software Engineering
Abstract Software documentation is usually expressed in natural languages, which contains much useful information. Therefore, establishing the traceability links between documentation and source code can be very helpful for software engineering...
2009 / Xiaobo Wang, Guanhui Lai, Chao Liu -
Towards the Integration of Visual and Formal Models for GUI Testing
Abstract This paper presents an approach to diminish the effort required in GUI modelling and test coverage analysis within a model-based GUI testing process. A familiar visual notation a subset of UML with minor extensions is used to model the...
2007 / Ana C.R. Paiva, João C.P. Faria, Raul F.A.M. Vidal -
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components
Abstract This paper presents an approach which supports verification and model-based adaptation of software components and services implemented using Windows Workflow Foundation (WF). First, we propose an abstract description of WF workflows, and we ...
2008 / Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat -
A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics
Abstract Formal semantics of programming languages needs to model the potentially infinite state transition behavior of programs as well as the computation of their final results simultaneously. This requirement is essential in correctness proofs...
2005 / Sabine Glesner