Computer and information sciences topic list of research papers
-
A Calculus for Dynamic Reconfiguration with Low Priority Linking
Abstract Building on our previous work, we present a simple module calculus where execution steps of a module component can be interleaved with reconfiguration steps (that is, reductions at the module level), and where execution can partly control...
2005 / Davide Ancona, Sonia Fagorzi, Elena Zucca -
Parallel Processes with Implicit Computational Capital
Abstract We propose a process algebra which is concerned with processes that have an implicit computational capital. This process algebra is intended to be helpful when designing computer-based systems of which the behaviour is related to money...
2008 / J.A. Bergstra, C.A. Middelburg -
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
Abstract In this paper we give an overview of formal concepts for model transformations between visual languages based on typed attributed graph transformation. We start with a basic concept where visual languages are defined by attributed type...
2006 / Hartmut Ehrig, Karsten Ehrig -
Fluχ: a quality-driven dataflow model for data intensive computing2013 / Sérgio Esteves, João Nuno Silva, Luís Veiga
-
Real-time people counting using blob descriptor
Abstract We propose a system for counting the number of pedestrians in real-time. This system estimates “how many pedestrians are and where they are in video sequences” by the following procedures. First, candidate regions are segmented into blobs...
2010 / Satoshi Yoshinaga, Atsushi Shimada, Rin-ichiro Taniguchi -
The Systems Engineering Approach to the Design of Laws
Abstract This paper discusses the application of the methodologies of systems engineering to the design of laws of government. The systems engineering approach will bring the knowledge and expertise of investigative science and engineering to bear...
2012 / David G. Schrunk -
Flow Expansion on Transportation Networks with Budget Constraints
Abstract This study considers the Budgeted Flow Expansion (BFE) problem on transportation network. The problem input includes a given budget and a transportation network, i.e. a directed graph with edges’ capacities. In addition, each edge is...
2012 / Amir Elalouf, Ron Adany, Avishai (Avi) Ceder -
Logic minimization and rule extraction for identification of functional sites in molecular sequences2012 / Raul Cruz-Cano, Mei-Ling Lee, Ming-Ying Leung
-
Parallel wavelet-based clustering algorithm on GPUs using CUDA
Abstract There has been a substantial interest in scientific and engineering computing community to speed up the CPU-intensive tasks on graphical processing units (GPUs) with the development of many-core GPUs as having very large memory bandwidth...
2011 / Ahmet Artu Yıldırım, Cem Özdoğan -
Automatic parameter assessment of logp-based communication models in MPI environments
Abstract Communications in modern interconnection networks become a complex issue to deliver the highest performance to the user. In MPI environments, this complexity leads to different communication protocols for different message sizes. The...
2010 / D.R. Martínez, V. Blanco, J.C. Cabaleiro, T.F. Pena, F.F. Rivera -
Psychophysiological measures of human cognitive states applied in human computer interaction
Abstract This paper reviews psychophysiological measures applied in Human Computer Interaction (HCI) by mainly focusing on studies related to human cognitive states. Although they have their own disadvantages, psychophysiological measures provide a...
2011 / Ahmet Cengizhan Dirican, Mehmet Göktürk -
Algorithm for waiting time distribution of a discrete-time multiserver queue with deterministic service times and multi-threshold service policy
Abstract In this paper, a discrete-time multiserver queueing system with infinite buffer size is studied. Packets arrive at the system according to a Bernoulli arrival process, and the service times of the packets are assumed to be constant equal to ...
2011 / Feng Wei -
Star-shaped polyhedron point location with orthogonal walk algorithm
Abstract The point location problem is one of the most frequent tasks in computational geometry. The walking algorithms are one of the most popular solutions for finding an element in a mesh which contains a query point. Despite their suboptimal...
2010 / Roman Soukal, Ivana Kolingerová -
Infrared-based facial points tracking and action units detection in context of car driving simulator2012 / Parisa Darvish Zadeh Varcheie, Claude Chapdelaine, Langis Gagnon
-
Designing a pedagogically grounded e-learning activity
Abstract Referring to significant learning theories and teaching methodologies, as an insider researcher, my aim is to present you my pedagogically grounded e-learning activity, which I designed last semester, by using pbworks (collaborative...
2012 / Pelekani Chryso -
Cognitive study of schema in two poems by “Sohrab Sepehri”
Abstract The present study aims at analyzing cognitive schemas in two long poems. Path schema, containment schema, and force schema were frequent in the text. It is understood that some linguistic forms are connected with some schemas; some special...
2012 / Shahla Sharifi, Nona Mayamei -
Extenics-based Test Case Generation for UML Activity Diagram
Abstract Extenics is a new discipline for modeling contradiction problems with formalized methods and transformation. This paper for the first time combines software testing with Extenices and proposes an automatic approach to generating test cases...
2013 / Liping Li, Xingsen Li, Tao He, Jie Xiong -
A review of newer treatment approaches for type-2 diabetes: Focusing safety and efficacy of incretin based therapy
Abstract Diabetes resulting from both genetic and lifestyle factors causes high insulin deficiency or its resistance. As hyperglycemia and decreased insulin secretion and/or its sensitivity appear to be the primary defects associated with diabetes,...
2013 / Regin Elsa George, Siby Joseph -
Second Generation Swimming Feedback Device Using a Wearable Data Processing System based on Underwater Visible Light Communication
Abstract Swimmers performance evaluation is important for the swimmers, their coaches and trainers. Most systems depend on visual, video processing or sensors and require post processing to obtain the swim data. Stroke rate, stroke length and swim...
2013 / Rabee M. Hagema, Tim Haelsig, Steven G. O’Keefe, Andy Stamm, Thomas Fickenscher, et al. -
Usefulness of M-Devices in Education: A Survey
Abstract With the advent of globalization, there has been an explosion of information in all walks of life. Various electronic gadgets have been developed to access the information. Till recently, information could be retrieved only through...
2013 / Ravi Toteja, Sarita Kumar