Computer and information sciences topic list of research papers
-
Nominal SOS
Abstract Plotkinʼs style of Structural Operational Semantics (SOS) has become a de facto standard in giving operational semantics to formalisms and process calculi. In many such formalisms and calculi, the concepts of names, variables and binders...
2012 / Matteo Cimini, MohamamdReza Mousavi, Michel A. Reniers, Murdoch J. Gabbay -
Layered Evaluation of Multi-Criteria Collaborative Filtering for Scientific Paper Recommendation
Abstract Recommendation algorithms have been researched extensively to help people deal with abundance of information. In recent years, the incorporation of multiple relevance criteria has attracted increased interest. Such multi-criteria...
2013 / Nikos Manouselis, Katrien Verbert -
Post-Modern Portfolio Theory for Information Retrieval
Abstract Information Retrieval (IR) aims to discover relevant information according to a user's information need. The classic Probability Ranking Principle (PRP) forms the theoretical basis for probabilistic IR models. This ranking principle,...
2012 / Ming-Feng Tsai, Chuan-Ju Wang -
Using Maslow's hierarchy of needs to define elegance in system architecture
Abstract Despite the rising interest in developing elegant systems an integral definition of elegance in system architecture and design is lacking. Current attempts have only been able to describe emergent properties of an elegant design or system....
2013 / Alejandro Salado, Roshanak Nilchiani -
On Ramseyʼs conjecture
Abstract Studying a one-sector economy populated by finitely many heterogeneous households that are subject to no-borrowing constraints, we confirm a conjecture by Frank P. Ramsey according to which, in the long run, society would be divided into...
2013 / Tapan Mitra, Gerhard Sorger -
A Unified Theoretical Framework for Data Mining
Abstract The pattern extraction and discovery of useful information from a dataset are the foremost purposes of data mining; the outcome of this process is the ‘knowledge’ which is helpful in taking the decision. For the past decade there have been...
2013 / Dost Muhammad Khan, Nawaz Mohamudally, D.K.R. Babajee -
A Formal Representation of Domain-Specific Metamodeling Language XMML Based on First-order Logic
Abstract Domain-Specific Modeling has been widely and successfully used in software system modeling of specific areas. Domain-Specific Metamodeling Language (DSMML) defined by informal method cannot strictly represent its structural semantics, so...
2011 / Tao Jiang, Xin Wang -
A User-friendly Interface for a Lightweight Verification System
Abstract User-friendly interfaces can play an important role in bringing the benefits of a machine-readable representation of formal arguments to a wider audience. The aartifact system is an easy-to-use lightweight verifier for formal arguments that ...
2012 / Andrei Lapets, Assaf Kfoury -
User-centred System Design Approach Applied on a Robotic Flexible Endoscope
Abstract Complex systems, like surgical robots, are designed by engineers. It is very difficult for them to determine the different needs and desires of all stakeholders. Especially when designed from scratch, end user input is essential in creating ...
2013 / Jeroen G. Ruiter, Mascha C. van der Voort, G. Maarten Bonnema -
Development of a Practical Computer Network Course through Netkit Virtualization Tool
Abstract Virtualization tools have been used in computer network classes to provide a environment for practice experiments. Although some papers describe these tools and their technical benefits, they do not provide quantitative information about...
2013 / Paulo H.M. Gurgel, Luiz H.C. Branco, Ellen F. Barbosa, Kalinka R.L.J.C. Branco -
On-line inverse multiple instance boosting for classifier grids
Abstract Classifier grids have shown to be a considerable choice for object detection from static cameras. By applying a single classifier per image location the classifier’s complexity can be reduced and more specific and thus more accurate...
2011 / Sabine Sternig, Peter M. Roth, Horst Bischof -
Applying Artificial Neural Networks for Face Recognition2011 / Thai Hoang Le
-
New Method using Feature Level Image Fusion and Entropy Component Analysis for Multimodal Human Face Recognition
Abstract Visual and infrared cameras have complementary properties and using them together may increase the performance of human face recognition. This study presents a new efficient method for face recognition which fusing the complementary...
2012 / Tao Wu, Xiao-Jun Wu, Xing Liu, Xiao-Qing Luo -
A variable step-size strategy for distributed estimation over adaptive networks2013 / Muhammad O Bin Saeed, Azzedine Zerguine, Salam A Zummo
-
Visual Odometry Based on Structural Matching of Local Invariant Features Using Stereo Camera Sensor2011 / Pedro Núñez, Ricardo Vázquez-Martín, Antonio Bandera
-
Delaunay Triangulation as a New Coverage Measurement Method in Wireless Sensor Network2011 / Hassan Chizari, Majid Hosseini, Timothy Poston, Shukor Abd Razak, Abdul Hanan Abdullah
-
Geometry-Experiment Algorithm for Steiner Minimal Tree Problem2013 / Zong-Xiao Yang, Xiao-Yao Jia, Jie-Yu Hao, Yan-Ping Gao
-
Linking Users' Subjective QoE Evaluation to Signal Strength in an IEEE 802.11b/g Wireless LAN Environment2010 / Katrien De Moor, Wout Joseph, István Ketykó, Emmeric Tanghe, Tom Deryckere, et al.
-
Multiple Depth DB Tables Indexing on the Sphere2010 / Luciano Nicastro, Giorgio Calderone
-
Kurtosis-Based Blind Source Extraction of Complex Non-Circular Signals with Application in EEG Artifact Removal in Real-Time2011 / Soroush Javidi, Danilo P. Mandic, Clive Cheong Took, Andrzej Cichocki