Computer and information sciences topic list of research papers
-
An Optimized Network-on-Chip Design for Data Parallel FFT1
Abstract In this paper, we propose an optimized Network-on-Chip (NoC) design for data parallel FFT applications. NoC based architecture is proposed for future multicore processors due to its scalability. FFT is widely used in digital systems. The...
2012 / Thomas Canhao Xu, Pasi Liljeberg, Hannu Tenhunen -
Sensor Counter Approach for a Mobile Robot to Navigate a Path Using Programming by Demonstration
Abstract This paper presents a sensor counter approach for a mobile robot to navigate a path using programming by demonstration. In this paper a hybrid method which uses sensor values and counter values as path variables has been proposed, in order...
2012 / A.A. Nippun Kumaar, Sudarshan Tsb -
A Model of Integrating Virtual and Real Objects Based on Contour Algorithm and Gabor Filter
Abstract The key of augmented reality for e-commerce is the integrated presentation of virtual objects and real-world objects. In the current two mainstream models of integration, GPS in the GPS-based model couldn’t obtain data in real ecommerce...
2012 / Peng Minjing -
Classifier fusion based on Bayes aggregation method for Indian sign language datasets
Abstract Automation over sign language recognition systems can greatly facilitate the vocal and the non-vocal communities which can be equivalently best and successive as speech-recognition systems. It offers enhancement of communication...
2012 / M. Krishnaveni, V. Radha -
Computing inbreeding coefficients quickly2009 / B Tier
-
Social Media, Avatars, and Virtual Worlds: Re-imagine an Inclusive Learning Environment for Adolescents and Adults with Literacy Barriers
Abstract This paper introduces an innovative and inclusive learning world that The Georgia STEM Accessibility Alliance (BreakThru) is developing by researchers at the University of Georgia and Georgia Institute of Technology. Electronic mentoring...
2012 / Noel Gregg, YunJeong Chang, Robert Todd -
Adaptive TDMA Slot Assignment Using Request Aggregation in Wireless Sensor Networks
Abstract TDMA-based MAC protocols are considered an energy effcient solution to prolong wireless sensor network lifetime. However, their drawbacks such as complexity of slot assignment and schedule maintenance and adaptivity to varying traffc...
2012 / Abdulaziz Y. Barnawi -
The Steps of Logo Design at Kastamonu University, Forestry Faculty
Abstract Logo is symbolizing a firm, product or the name of a service by using letter and image elements. Logo should not reflect designer logo should reflect the firm or product's properties. Selected or designed font should be suitable with the...
2012 / Cigdem Sakici, Elif Ayan -
Evaluation Method of GNSS–based Positioning Functions for Safety Applications in Operational Conditions
Abstract Most of the positioning functions in railways today rely on track side sensors that are efficient, but offer mainly discrete positioning, lead to high maintenance costs and differ between countries. Railways demonstrate their interest for...
2012 / Juliette Marais, Julie Beugin -
Soft Decision Error Assisted Layered Multiuser Detectors for MIMO 2D Spread MC DS-CDMAs2013 / Hoang-Yang Lu, Ching-Jer Hung, Jong-Chih Chien
-
Principles and Experimentations of Self-organizing Embedded Agents Allowing Learning from Demonstration in Ambient Robotic
Abstract Ambient systems are populated by many heterogeneous devices to provide adequate services to its users. The adaptation of an ambient system to the specific needs of its users is a challenging task. Because human-system interaction has to be...
2015 / Nicolas Verstaevel, Christine Régis, Marie-Pierre Gleizes, Fabrice Robert -
Design and implementation of a generalized laboratory data model2007 / Michael C Wendl, Scott Smith, Craig S Pohl, David J Dooling, Asif T Chinwalla, et al.
-
Using Noise to Speed up Markov Chain Monte Carlo Estimation
Abstract Carefully injected noise can speed the average convergence of Markov chain Monte Carlo (MCMC) simulation estimates. This includes the MCMC special cases of the Metropolis-Hastings algorithm and Gibbs sampling and simulated annealing. MCMC...
2015 / Brandon Franzke, Bart Kosko -
Preface2006 / John Boyland, Anthony Sloane
-
Preface2007 / Cătălin Dima, Marius Minea, Ferucio Laurenţiu Ţiplea
-
Inductive and Coinductive Components of Corecursive Functions in Coq
Abstract In Constructive Type Theory, recursive and corecursive definitions are subject to syntactic restrictions which guarantee termination for recursive functions and productivity for corecursive functions. However, many terminating and...
2008 / Yves Bertot, Ekaterina Komendantskaya -
Generating Scenarios by Multi-Object Checking
Abstract These days, many systems are developed applying various UML notations to represent the structure and behavior of (technical) systems. In addition, for safety critical systems like Railway Interlocking Systems (RIS) the fulfillment of safety ...
2007 / Maik Kollmann, Yuen Man Hon -
A Framework for Engineering Interactions in Java-based Component Systems
Abstract This paper describes a Java-based framework for the development of component-based software systems supporting the specification of the logic of component interactions as a first-class aspect. Java is used as the reference development...
2006 / Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli -
The λ-context Calculus
Abstract We present a simple but expressive lambda-calculus whose syntax is populated by variables which behave like meta-variables. It can express both capture-avoiding and capturing substitution (instantiation). To do this requires several...
2008 / Murdoch J. Gabbay, Stéphane Lengrand -
Preface2008 / Markus Lumpe, Eric Madelaine