Computer and information sciences topic list of research papers
-
An Incremental Model for Concurrent Objects
Abstract Numerous models have been proposed for concurrent objects, and their implementations in programming languages have been discussed. This paper presents an incremental model for object-oriented concurrency, starting out with a set of basic...
2005 / Sergio E.R. de Carvalho, Toacy C. de Oliveirae -
Object-Oriented Style Overloading for Haskell (Extended Abstract)
Abstract Haskell has a sophisticated mechanism for overloading identifiers with multiple definitions at distinct types. Object-oriented programming has a similar notion of overriding and overloading for methods names. Unfortunately, it is not...
2005 / Mark Shields, Simon Peyton Jones -
Towards a Classical Linear λ-calculus (Preliminary Report)
Abstract This paper considers a typed λ-calculus for classical linear logic. I shall give an explanation of a multiple-conclusion formulation for classical logic due to Parigot and compare it to more traditional treatments by Prawitz and others. I...
2005 / G.M. Bierman -
Architecture Recovery by Semi-Automatic Component Identification
Abstract Architecture recovery is the process of analyzing a system in order to identify the system's components, and their connectors. This paper gives a presentation of dominance analysis, and how it can be used to identify software components in...
2004 / Jonas Lundberg, Welf Löwe -
The Implementation Technology of the Mercury Debugger
Abstract Every programming language needs a debugger. Mercury now has three debuggers: a simple procedural debugger similar to the tracing systems of Prolog implementations, a prototype declarative debugger, and a debugger based on the idea of...
2005 / Zoltan Somogyi, Fergus Henderson -
Feature Extractionusing ORB-RANSAC for Face Recognition
Abstract Face Recognition is one of the most thriving and cutting- edge fields of research that stands unwaveringly as the most critically challenging problems in the domain of Computer Vision. In the design of an efficient FR system, the potency of ...
2015 / Vinay A., Avani S. Rao, Vinay S. Shekhar, Akshay Kumar C., K N Balasubramanya Murthy, et al. -
Random Walks based Image Segmentation Using Color Space Graphs
Abstract Image segmentation is one of the most involved topics of research in the area of Computer Vision and has attracted a lot of attention from the researchers. The goal of image segmentation is to change the representation of the image into...
2014 / Sonu Kumar Jha, Purnendu Bannerjee, Subhadeep Banik -
Real-time Architecture and FPGA Implementation of Adaptive General Spectral Substraction Method
Abstract Spectral Subtraction (SS) method is one method for speech enhancement or noise cancellation. There are many variations of SS method, one of them is Adaptive General Spectral Subtraction (AGSS). In this paper, we implement the noise...
2014 / Muhammad Firmansyah Kasim, Trio Adiono, Muhammad Fahreza, Muhammad Fadhli Zakiy -
Assessing Metacognitive Skills Using Adaptive Neural Networks
Abstract The assessment of student's levels of metacognitive knowledge and skills is critical in determining their ability to effectively perform complex cognitive tasks such as solving mathematics or reading comprehension problems. In this paper,...
2012 / Justin Anderson, Kouider Mokhtari, Arun Kulkarni -
A Proposal of Real-time Scheduling Algorithm based on RMZL and Schedulability Analysis
Abstract Recently, multiprocessor platform is generally used in embedded real time systems. The optimal real time scheduling algorithms for multiprocessor are demanded. Several algorithms based on RM are proposed. In this study, we propose RMZLPD...
2013 / Ken Yanai, Myungryun Yooa, Takanori Yokoyama -
Virtual Design and Verification of Cyber-physical Systems: Industrial Process Plant Design
Abstract This paper discusses a research project to support virtual design and verification of industrial process plant designs. Process plants are a class of cyber-physical systems (CPS), and these research results should generally apply to other...
2014 / Mark Blackburn, Peter Denno -
Maximizing EFL Learning Through Blending
Abstract Purpose of study Blending different modalities and methods of EFL learning is gaining momentum as it assists teachers in designing relevant and engaging activities to drive learners from passive to active participants...
2012 / Anisoara Pop, Anca Maria Slev -
OBA2: An Onion approach to Binary code Authorship Attribution
Abstract A critical aspect of malware forensics is authorship analysis. The successful outcome of such analysis is usually determined by the reverse engineer's skills and by the volume and complexity of the code under analysis. To assist reverse...
2014 / Saed Alrabaee, Noman Saleem, Stere Preda, Lingyu Wang, Mourad Debbabi -
The Taxonomy of Goal-oriented Actions in Virtual Training Environments
Abstract With the shift of training scenarios to virtual worlds and assessment being an inevitable part of any teaching and learning process, we require sophisticated assessment methods to analyze action-sequences of learners according to reference...
2014 / Ali Fardinpour, Torsten Reiners -
EZ-Arabic for Children: A Virtual Learning Resource Tool for Malaysian Primary Schools
Abstract The emergence of online educational courseware serves as an important addition to the teaching and learning aids of the digital generation. It is increasingly becoming the focus of researchers in designing and developing new and up-to-date...
2013 / Muhammad Sabri Sahrir, Mohd Firdaus Yahaya, Mohd Shahrizal Nasir -
Under-approximation of Reachability in Multivalued Asynchronous Networks
Abstract The Process Hitting is a recently introduced framework designed for the modelling of concurrent systems. Its originality lies in a compact representation of both components of the model and its corresponding actions: each action can modify...
2013 / Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier Roux -
National Corpus of the Tatar Language “Tugan tel”: Grammatical Annotation and Implementation
Abstract This article presents the National Corpus of the Tatar Language, which is being developed at the Research Institute of Applied Semiotics of the Tatarstan Academy of Sciences on the EANC technological platform. It describes the morphological ...
2013 / Dzhavdet Suleymanov, Olga Nevzorova, Ayrat Gatiatullin, Rinat Gilmullin, Bulat Khakimov -
A compact ultra wideband bandpass filter using arrow coupled lines with defected ground structure
Abstract A new ultra wideband bandpass filter (UWB-BPF) using arrow coupled lines and U-slot defected ground structures (U-DGS) is proposed. The input and output feeding lines are connected to the coupled lines placed on the conductor side of the...
2014 / Deena A. Salem, Ashraf. S. Mohra, A. Sebak -
Design of solids for antigravity motion illusion
Abstract This paper presents a method for designing solid shapes containing slopes where orientation appears opposite to the actual orientation when observed from a unique vantage viewpoint. The resulting solids generate a new type of visual...
2014 / Kokichi Sugihara -
Emerging approaches for supporting easy, engaged and effective collaborative learning
Abstract Collaborative learning is one of the key instructional strategies and is adopted world widely. In the past three to five decades, cooperative learning in a traditional classroom has been popular in the west countries and has been adopted...
2013 / Lanqin Zheng, Junfeng Yang, Wei Cheng, Ronghuai Huang