Computer and information sciences topic list of research papers
-
Regularity Results for FIFO Channels
Abstract FIFO channel systems, in which messages between processes are cached in queues, are fundamental to the modeling of concurrency. A great deal of effort has gone into identifying scenarios where reasoning about such systems is decidable,...
2005 / Nils Klarlund, Richard Trefler -
Neural Network Simulating the Tensility of Transmission Line Ice Shedding
Abstract Aiming at the galloping of power transmission line ice shedding, using the methods of polynomial fitting and BP neural network simulating to approach the tensile curves was presented. Due to the tensile test data of power transmission line...
2012 / Jia Jianjun, Wang Hongxi, Chen Xiaodong, Hou Zhimin -
Applicability of Pattern-based sparse matrix representation for real applications
Abstract Pattern-based representation (PBR) is a novel sparse matrix representation that reduces the index overhead for many matrices without zero-filling and without requiring the identification of dense matrix blocks. The PBR analyzer identifies...
2010 / Mehmet Belgin, Godmar Back, Calvin J. Ribbens -
Biologically inspired 3D face recognition from surface normals
Abstract A major consideration in state-of-the-art face recognition systems is the amount of data that is required to represent a face. Even a small (64×64) photograph of a face has 212 dimensions in which a face may sit. When large (>1 MB)...
2010 / Mark F. Hansen, Gary A. Atkinson -
Second-order Mining for Active Collaborative Filtering
Abstract Active learning for collaborative filtering tasks draws many attentions from the research community. It can capture the user's interest with greatly reduced labeling burden for the online user. High quality recommendation can thus be made...
2011 / Lingfeng Niu, Jianmin Wu, Yong Shi -
Towards a recommender strategy for personal learning environments
Abstract Personal learning environments (PLEs) aim at putting the learner central stage and comprise a technological approach towards learning tools, services, and artifacts gathered from various usage contexts and to be used by learners. Due to the ...
2010 / Felix Mödritscher -
Beyond biometrics
Abstract Throughout the last 40 years, the essence of automated identification of users has remained the same. In this article, a new class of biometrics is proposed that is founded on processing biosignals, as opposed to images. After a brief...
2010 / Egon L. van den Broek -
Introductory computational science using MATLAB and image processing
Abstract We describe a new course designed to introduce engineering students to computational thinking. One of the most significant challenges in teaching an introductory-level applied computing course is that students are not expected to have...
2010 / D. Brian Larkins, William Harvey -
Energy Model for the Design of Ultra-Low Power Nodes for Wireless Sensor Networks
Abstract This article describes the modeling of a microsensor node for wireless sensor network applications. Considering the heterogeneous aspect of a sensor node, the developed model allows comparing different node configurations in order to make...
2009 / Guillaume Terrasson, Renaud Briand, Skandar Basrour, Valérie Dupé, Olivier Arrijuria -
Deciding which technology is the best for distance education: Issues in media/technology comparisons studies
Abstract Distance education decision makers; who will be shaping the future of distance education; should understand the role of different technologies and their unique attributes closely. In order to achieve this task accurately, they also need to...
2011 / Ilker Yengin, Adem Karahoca, Dilek Karahoca, Hüseyin Uzunboylu -
SWOOP: An adjustable global optimization technique
Abstract Optimization is the process of obtaining the best result under given circumstances and in its broadest sense; optimization can be applied to solve any engineering problem. In many practical applications, the objective function contains,...
2010 / H.I. Sayed, A.M. Fadel, S.A. Mourad -
Evolution of trust networks in social web applications using supervised learning
Abstract Trust as a major part of human interactions plays an important role in addressing information overload, and helping users collect reliable information in SocialWeb applications. Although many researchers have already conducted comprehensive ...
2011 / Kiyana Zolfaghar, Abdollah Aghaie -
Analog and Digital Modulation Toolkit for Software Defined Radio
Abstract This work is a small tutorial for the new users in the field of software defined radio. Applications are build up using graphical user interface called the GNU radio companion (GRC). The idea behind developing such a tool kit is to give...
2012 / R. Gandhiraj, Ranjini Ram, K.P. Soman -
Palmprint recognition based on Mel frequency Cepstral coefficients feature extraction
Abstract Palmprint identification is a measurement of palmprint features for recognizing the identity of a user. Palmprint is universal, easy to capture and it does not change much across time. This paper presents an application of Mel frequency...
2010 / Maged M.M. Fahmy -
Relay Reachability Algorithm for Exploring Huge State Space
Abstract Since many desirable properties about finite-state model are expressed as a reachability problem, reachability algorithms have been extensively studied in model checking. On the other hand, reachability algorithms play an important role in...
2006 / Gihwon Kwon -
Heuristics for Safety and Security Constraints
Abstract The flow logic approach to static analysis amounts to specifying the admissibility of solutions to analysis problems; when specified using formulae in stratified alternation-free least fixed point logic one may use efficient algorithms for...
2007 / Flemming Nielson, Hanne Riis Nielson -
Evolution of Language Interpreters
Abstract We are interested in evolution scenarios for language-based functionality. We identify different dimensions along which such functionality can evolve, including the following: (i) coding style; (ii) coding details; (iii) data model; (iv)...
2005 / Ralf Lämmel -
A Congruence Format for Name-passing Calculi
Abstract We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of the difficulties specific to name-binding and make them...
2006 / Axelle Ziegler, Dale Miller, Catuscia Palamidessi -
An Overview of QML With a Concrete Implementation in Haskell
Abstract This paper gives an introduction to and overview of the functional quantum programming language QML. The syntax of this language is defined and explained, along with a new QML definition of the quantum teleport algorithm. The categorical...
2011 / Jonathan Grattage -
Preface2007 / Juliana K.F. Bowles, Iman Poernomo, Ralf Reussner