Computer and information sciences topic list of research papers
-
Application of basic Skills in Reading Arabic Text for Teaching and Learning Maharat Al-Qiraah
Abstract The basic skill of reading Arabic text ought to be possessed by each at the Faculty of Islamic Studies (FIS) at UKM student in order to master other academic subjects. This study is the result of observing students’ weakness in the basic...
2012 / Salamiah Ab. Ghani, Suhaila Zailani @ Hj. Ahmad, Ummu Hani Hj. Hashim, Zuraida Shaadon, Nur Syazwina Mustapa -
CMLLite: a design philosophy for CML2011 / Joe A Townsend, Peter Murray-Rust
-
Positioning of Node for Static WSNs
Abstract The development of wireless technologies and micro electromechanical systems has initiated the success of wireless sensor networks. This kind of networks is composed of many sensors which are deployed heavily in an area of interest. They...
2015 / Silmi Souhila, Moussaoui Samira -
An off-line map-matching algorithm for incomplete map databases2009 / Francisco Câmara Pereira, Hugo Costa, Nuno Martinho Pereira
-
Into the Square: On the Complexity of Some Quadratic-time Solvable Problems
Abstract We analyze several quadratic-time solvable problems, and we show that these problems are not solvable in truly subquadratic time (that is, in time O ( ...
2016 / Michele Borassi, Pierluigi Crescenzi, Michel Habib -
Learning to Prognostically Forage in a Neural Network Model of the Interactions between Neuromodulators and Prefrontal Cortex
Abstract Neuromodulatory systems and prefrontal cortex are involved in a number of decision-making contexts. In this work, we adapt a recent neural network model that simulates interactions between neuromodulatory and prefrontal areas to the problem ...
2014 / Suhas E. Chelian, Matthias D. Ziegler, Peter Pirolli, Rajan Bhattacharyya -
Project Portfolio Selection Using Interactive Approach
Abstract In the paper project portfolio selection problem is considered. Both researchers, as well as practitioners agree that various criteria, including both quantitative and qualitative ones, should be taken into account when the project...
2013 / Maciej Nowak -
A Tool for Testing Data Type Implementations from Maude Algebraic Specifications
Abstract This paper presents a tool for testing data types implemented in C++ against formal specifications written in Maude. Maude is a formal specification language based on rewriting logic that allows the specification of abstract data types in a ...
2012 / Isabel Pita, Adrián Riesco -
Dimensional recursion for multivariate adaptive integration
Abstract We consider multivariate integrals which can be expressed as iterated integrals over product regions. The iteration over the dimensions is applied recursively for a numerical evaluation. We evaluate a scheme for setting the tolerated error...
2010 / Elise de Doncker, Karlis Kaugars -
Metric analysis of the information visibility and diffusion about the European Higher Education Area on Spanish University websites2007 / María Pinto, Dora Sales, Anne-Vinciane Doucet, Andrés Fernández-Ramos, David Guerrero
-
Equivalence relationship between the general combined-oriented CCR model and the weighted minimax MOLP formulation
Abstract In many applications, finding target unit is required, particularly when decision maker (DM) wants to search along the efficient frontier to locate the most preferred solution. Wong et al. [Wong, Y.H., Luque, M., Yang, J.B., 2009. Using...
2010 / A. Ebrahimnejad, F. Hosseinzadeh Lotfi -
On HNBUE class after specific age
Abstract In this article we introduce new classes of life distributions namely harmonic new better (worse) than used in expectation after specific age t 0 HNBUE ∗ t ...
2013 / M.A.W. Mahmoud, M.E. Moshref, A.M. Gadallah -
NOA: A Scalable Multi-Parent Clustering Hierarchy for WSNs
Abstract NOA is a multi-hop, multi-parent, N-tiered, hierarchical clustering algorithm that provides a scalable, robust and reliable solution for autonomous configuration of large-scale wireless sensor networks. The novel clustering hierarchy's...
2012 / Johnathan Vee Cree, Jose Delgado-Frias, Mike Hughes, Brion Burghard, Kurt Silvers -
Determining Unintelligible Words from their Textual Contexts
Abstract We propose a method to determine unintelligible words based on the textual context of the word determined. As there can be many different possibilities for the word, a robust, large-scale method is needed. The large scale...
2013 / Balázs Pintér, Gyula Vörös, Zsolt Palotai, Zoltán Szabó, András Lőrincz -
Distributed Policy-Based Management for Wireless Sensor Networks
Abstract Due to hardware resource limitations in Wireless Sensor Network (WSN), devices on WSN may hold up to 20 policies at any given time [1]. This number may not be sufficient at all times and has a huge impact on restricting the management...
2012 / Nidal Qwasmi, Ramiro Liscano -
Analysis and evaluation of distance-to-mean broadcast method for VANET
Abstract Multi-hop broadcast is a critical component in embedded communication systems. Some vehicular ad-hoc network (VANET) applications in particular use broadcast communications extensively. Statistical broadcast methods offer an efficient means ...
2013 / Michael Slavik, Imad Mahgoub, Mohammed M. Alwakeel -
Adapting and Extended ASPECS Methodology to Support the Goal Concept
Abstract Methodology is generally a guideline for solving a problem, with specific components such as phases, tasks, methods, techniques and tools. In this paper, we will extend/adapt the ASPECS methodology by adding a new phase called Goal...
2012 / Mohamed Garoui, Belhassen Mazigh -
Combined model checking for temporal, probabilistic, and real-time logics
Abstract Model checking is a well-established technique for the formal verification of concurrent and distributed systems. In recent years, model checking has been extended and adapted for multi-agent systems, primarily to enable the formal analysis ...
2013 / Savas Konur, Michael Fisher, Sven Schewe -
New Strategies and Approaches for Efficient Overlay Multicast Routing
Abstract In many group-oriented media streaming applications, overlay multicast (also called Application-layer multicast) is utilized as an alternative technology for IP multicast, which suffers from various issues such as group management,...
2012 / Adel Ben Mnaouer, Abdelfettah Belghith, Mohamed Aissa -
Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC
Abstract We propose discrete time stochastic Petri box calculus extended with immediate multiactions, called dt-siPBC. The step operational semantics is constructed via labeled probabilistic transition systems. The denotational semantics is defined...
2013 / Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero