Computer and information sciences topic list of research papers
-
Virtual and Augmented Reality in Education Preface VARE20152015 / Eduardo González Mendívil, Pablo G. Ramírez Flores, Jorge Martín-Gutiérrez, Egils Ginters
-
How Many Times do We Need an Assumption to Prove a Tautology in Minimal Logic? Examples on the Compression Power of Classical Reasoning
Abstract In this article we present a class of formulas ϕ n ...
2015 / Edward Hermann Haeusler -
Performance Analysis of the Consensus-Based Distributed LMS Algorithm2010 / Gonzalo Mateos, Ioannis D Schizas, Georgios B Giannakis
-
Providing Wireless Bandwidth for High-speed Rail Operations
Abstract American railroads are in the process of introducing a wireless network-based control system – commonly referred to as positive train control (PTC) – to share the railroad among multiple trains, worker vehicles, and other support entities....
2014 / Damindra Bandara, Andre Abadie, Tony Melaragno, Duminda Wijesekara -
An Enhanced N-Pattern Hybrid Technique for Medical Images in Telemedicine
Abstract In the last couple of years, the communication technology has rapidly revolutionized the human society, whose benefits are not homogeneously felt by the nations. There are still network coverage problems in the under developed and...
2016 / Christy Sumitha Vincent, Janet J. -
A new method for constructing and reusing domain specific design patterns: Application to RT domain
Abstract Domain specific design patterns capture domain knowledge and provide solutions of non trivial design problems in a specific domain. Their application improves considerably the quality of software design. In order to benefit from these...
2016 / Saoussen Rekhis, Nadia Bouassida, Rafik Bouaziz, Claude Duvallet, Bruno Sadeg -
A Comprehensive Safety Engineering Approach for Software-Intensive Systems Based on STPA
Abstract Formal verification and testing are complementary approaches which are used in the development process to verify the functional correctness of software. However, the correctness of software cannot ensure the safe operation of...
2015 / Asim Abdulkhaleq, Stefan Wagner, Nancy Leveson -
Transmission and generation investment in electricity markets: The effects of market splitting and network fee regimes
Abstract We propose an equilibrium model that allows to analyze the long-run impact of the electricity market design on transmission line expansion by the regulator and investment in generation capacity by private firms in liberalized electricity...
2016 / Veronika Grimm, Alexander Martin, Martin Schmidt, Martin Weibelzahl, Gregor Zöttl -
Communication-Oriented Design Space Exploration for Reconfigurable Architectures2007 / Lilian Bossuet, Guy Gogniat, Jean-Luc Philippe
-
Techniques to Obtain Good Resolution and Concentrated Time-Frequency Distributions: A Review2009 / Imran Shafi, Jamil Ahmad, Syed Shah, F M Kashif
-
Correlation-Based Amplitude Estimation of Coincident Partials in Monaural Musical Signals2010 / Jayme Garcia Arnal Barbedo, George Tzanetakis
-
An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios
Abstract DIVERSITY is a multi-purpose customizable platform based on symbolic execution. DIVERSITY has been designed for the purpose of managing the diversity of different semantics, but also the diversity of possible analyses based on symbolic...
2016 / Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre -
Efficient design of multiplier-less digital channelizers using recombination non-uniform filter banks
Abstract A novel approach for the efficient realization of digital channelizers in software defined radios using recombination filter banks is proposed in this paper. Digital channelizer is the core of software defined radio. Computationally...
2015 / Shaeen Kalathil, Bijili Sravan Kumar, Elizabeth Elias -
Packet-based Polling Scheme for Video Transmission in IEEE 802.11e WLANs
Abstract IEEE 802.11e standard introduces HCF Controlled Channel Access (HCCA) to support quality of service (QoS) for multimedia traffics. In HCCA, the traffics scheduled according to their mean characteristics which favors the Constant Bit Rate...
2016 / Mohammed A. Al-Maqri, Mohamed Othman, Borhanuddin Mohd Ali, Zurina Mohd Hanapi -
Hermeneutical Discourse Consciousness Architecture for the Establishment of Hermeneutical Discourse
Abstract The primary purpose of this paper is to address the role and the significance of fusion of intentions in order to establish meaningful and interpretable discourse called Hermeneutical Discourse. The presence of intention is an ultimate...
2015 / Sivakumar Ramakrishnan, Pradeep Isawasan, Vasuky Mohanan -
A Computational Model for Mass Housing Design as a Decision-support Tool
Abstract Mass housing designs have become increasingly important due to the reasons of protecting urban aesthetic, providing originality and meeting the growing user demands. Accordingly, the need of having alternatives of new design approaches for...
2014 / Ahmet Emre Dinçer, Gülen Çağdaş, Hakan Tong -
An Overview of The Needs of Technology in Language Testing in Spain
Abstract Over the few years, computer based language testing has become prevailing worldwide. The number of institutions the use computers as the main means of delivery has increased dramatically. Many students face each day tests for well-known...
2015 / Jesús García Laborda, Teresa Magal Royo, Elena Bárcena Madera -
High Rating Recent Preferences Based Recommendation System
Abstract The availability of huge amount of information on Web makes it difficult for users to dissect relevant information from the unnecessary and irrelevant information. This paper highly facilitates the filtering of irrelevant over-abundant...
2015 / Sanjeev Dhawan, Kulvinder Singh, Jyoti -
On Triz and Case Based Reasoning Synergies and Oppositions
Abstract A few years after TRIZ appearance in highly industrialized countries, many experts in Case Based Reasoning pointed out potential similarities between both approaches. Later on, research activities have been conducted and publications...
2015 / François Rousselot, Jean Renaud -
The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations
Abstract We solve the satisfiability problem for a three-sorted fragment of set theory (denoted 3LQST ...
2016 / Domenico Cantone, Marianna Nicolosi-Asmundo