Computer and information sciences topic list of research papers
-
Multimedia application for educational purposes: Development of algorithmic thinking
Abstract This paper is based on many years’ experience with multimedia applications supporting the area of computer science education and it could serve as an inspirational material directed to all educators developing students’ algorithmic...
2014 / Eva Milková -
Young People, Drugs, Prevention, and ICTs
Abstract Nowadays young people are growing up in a social environment in which the use of toxic substances is becoming the norm. Moreover, it has been proven that their leisure activities are frequently associated with polydrug use. On the other...
2014 / Ana Millán Jiménez, Antonio Pérez Manzano, Javier Zamora Arenas -
A data transmission scheduling algorithm for rapid-response earth-observing operations
Abstract With the development of rapid-response Earth-observing techniques, the demand for reducing a requirements-tasking-effects cycle from 1day to hours grows rapidly. For instance, a satellite user always wants to receive requested data in near...
2014 / Jun Li, Jun Li, Hao Chen, Ning Jing -
Modified GrabCut for human face segmentation
Abstract GrabCut is a segmentation technique for 2D still color images, which is mainly based on an iterative energy minimization. The energy function of the GrabCut optimization algorithm is based mainly on a probabilistic model for pixel color...
2014 / Dina Khattab, Christian Theobalt, Ashraf S. Hussein, Mohamed F. Tolba -
Espresso for Rule Mining
Abstract The Rule-based systems generate many of the redundant rules. Such rules are expensive especially in online systems. Currently, there are many of the available rule minimization techniques; however, they still suffer from many challenges in...
2014 / Elhoussini F. Ashmouni, Rabie A. Ramadan, Ali. A. Rashed -
Station Reassociation Scheme for Wireless Green Networking
Abstract Wireless LANs (WLANs) are widely used as network infrastructure due to their ease of deployment and low installation costs. Access points (APs) in WLANs are operated continuously in order to provide connectivity for stations (STAs);...
2014 / Kazumi Kumazoe, Daiki Nobayashi, Yutaka Fukuda, Takeshi Ikenaga -
A Lightweight Middleware Platform for Distributed Computing on Wireless Sensor Networks
Abstract The peculiar features of Wireless Sensor Networks (WSNs) suggest to exploit the distributed computing paradigm to perform complex tasks in a collaborative manner, in order to overcome the constraints related to sensor nodes limited...
2014 / Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri -
Efficient Routing for Traffic Offloading in Software-defined Network
Abstract Since the Internet was defined by TCP/IP suite, it cannot accommodate today's large amount of devices and huge amount of internet traffic which were not considered when it was invented. Also current routing is wasting network resource by...
2014 / Sang Min Park, Seungbum Ju, Jaiyong Lee -
Discrete Modeling and Simulation of Business Processes Using Event Logs
Abstract An approach to business process modelling for short term KPI prediction, based on event logs and values of environment variables, is proposed. Ready-for-simulation process model is built semi-automatically, expert only inputs desired...
2014 / Ivan Khodyrev, Svetlana Popova -
A novel MLP network implementation in CMOL technology
Abstract Hybrid CMOS/nanodevice technology is a well-known candidate to extend the exponential Moor-Law progress of microelectronics beyond the 10-nm frontier. This paper presents and evaluates a novel method for synaptic weights implementation of...
2014 / Abdalhossein Rezai, Parviz Keshavarzi, Reza Mahdiye -
Action-scene Model for Human Action Recognition from Videos
Abstract Human action recognition from realistic videos attracts more attention in many practical applications such as on-line video surveillance and content-based video management. Single action recognition always fails to distinguish similar...
2014 / Yifei Zhang, Wen Qu, Daling Wang -
Automated Generation of Independent Paths and Test Suite Optimization Using Artificial Bee Colony
Abstract Software test suite optimization is one of the most important problems in software engineering research. This paper deals with Automatic Generation of Feasible Independent Paths and Software Test Suite Optimization using Artificial Bee...
2012 / Soma Sekhara Babu Lam, M L Hari Prasad Raju, Uday Kiran M, Swaraj Ch, Praveen Ranjan Srivastav -
Mobile Learning: A Good Practice
Abstract With advances in learning technology and communication, information is growing rapidly. In the past, books and teachers were the most frequent sources of information; nowadays there are many resources through which information can be...
2013 / Dawood Salim Al Hamdani -
Parallel GMRES Incomplete Orthogonalization Auto-Tuning
Abstract Krylov linear solvers are widely used to solve various kind of scientific problems. They are entitled to many optimization in order to reduce the processing time needed to attain solution. However, these optimisations are mainly problems...
2011 / Pierre-Yves Aquilanti, Serge Petiton, Henri Calandra -
Computability of Partial Delaunay Triangulation and Voronoi Diagram [Extended Abstract]
Abstract Using the domain-theoretic model for geometric computation, we define the partial Delaunay triangulation and the partial Voronoi diagram of N partial points in R2 and show that these operations are domain-theoretically computable and...
2004 / A.A. Khanban, A. Edalat, A. Lieutier -
Intensionality of Modal Logic for Robust Ambient Calculus
Abstract Computation with mobility becomes a novel distributed computation paradigm with the development of network technology. The calculus of Mobile Ambient is a widely studied formal mechanism for describing both mobile computing and mobile...
2005 / Taolue Chen, Tingting Han, Jian Lu -
Specifying Byrd's Box Model with a Continuation Semantics
Abstract We give a formal specification of Byrd's box model. This specification is based on a on a Prolog operational semantics with continuations. We also show how this specification can be executed by a direct translation into λProlog, leading to...
2005 / Erwan Jahier, Mireille Ducassé, Olivier Ridoux -
Preface
Abstract This volume contains selected papers presented at the 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002). The workshop was held in Grado (Italy) during June 20-22, 2002 and was organized by Dipartimento ...
2005 / Marco Comini, Moreno Falaschi -
Convex Power Constructions for Continuous D-Cones
Abstract Powerdomains were introduced to describe non-deterministic behaviour of computational logic. Closely related are the Hoare, Smyth and Plotkin powerdomain while the probabilistic powerdomain is of a distinct different structure. Jones and...
2005 / Regina Tix -
GRACE as a unifying approach to graph-transformation-based specification1 1This work was partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH) and the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems).
Abstract In this paper, we sketch some basic ideas and features of the graph-transformation-based specification language GRACE. The aim of GRACE is to support the modeling of a wide spectrum of graph and graphical processes in a structured and...
2004 / Hans-Jörg Kreowski, Giorgio Busatto, Sabine Kuske