Computer and information sciences topic list of research papers
-
Min Max Threshold Range (MMTR) based approach in palmprint authentication by sobel code method
Abstract Palmprint recognition is an effective biometric authentication method to automatically identify a person’s identity. Palmprint is rich in features like geometry features, line features, datum points, delta features and minutiae features....
2010 / Jyoti Malik, G. Sainarayanan, Ratna Dahiya -
Discriminant Subspace Learning for Microcalcification Clusters Detection
Abstract This paper presents a novel approach to microcalcification clusters (MCs) detection in mammograms based on the discriminant subspace learning. The ground truth of MCs in mammograms is assumed to be known as a priori. Several typical...
2012 / X.-S. Zhang, Hua Xie -
On an HARQ-based coordinated multi-point network using dynamic point selection2013 / Behrooz Makki, Thomas Eriksson, Tommy Svensson
-
Rubabel: wrapping open Babel with Ruby2013 / Rob Smith, Ryan Williamson, Dan Ventura, John T Prince
-
Experiments in Theorem Proving for Topological Hybrid Logic
Abstract This paper discusses two experiments in theorem proving for hybrid logic under the topological interpretation. We begin by discussing the topological interpretation of hybrid logic and noting what it adds to the topological interpretation...
2009 / Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn -
Preface2011 / David Pichardie
-
Programming with Quantum Communication
Abstract This work develops a formal framework for specifying, implementing, and analysing quantum communication protocols. We provide tools for developing simple proofs and analysing programs which involve communication, both via quantum channels...
2009 / Anya Tafliovich, Eric C.R. Hehner -
What's the Name of the Game? Formal Specification of Artificial Intelligence Games
Abstract Artificial intelligence games are a very interesting tool for teaching Artificial Intelligence techniques. Competitors write programs for agents, which are supposed to complete a given task or fight against other agents. In order to achieve ...
2005 / Vladimir Di Iorio, Roberto S. Bigonha, Mariza A.S. Bigonha, Alcione Oliveira, Eliseu Miguel -
Testability Analysis of Data-Flow Software
Abstract This paper is about testability analysis for data-flow software. We describe an application of the SATAN method, which allows testability of data-flow designs to be measured, to analyze testability of the source code of critical data-flow...
2005 / Thanh Binh Nguyen, Michel Delaunay, Chantal Robach -
Introducing a Reasonably Complete and Coherent Approach for Model-based Testing
Abstract Both in the component- and object-based contexts it is extremely important to derive as early as possible suitable test cases based on the UML specifications available during development. In this paper we focus on the integrated use of...
2005 / A. Bertolino, E. Marchetti, H. Muccini -
On Challenges for a Graphical Transformation Notation and the UMLX Approach
Abstract Freely available experimental transformation languages have begun to stimulate practical usage of textual transformation notations. The forthcoming QVT transformation languages may provide standardisation or at least interchange...
2008 / Edward D. Willink -
Regular Strategies as Proof Tactics for CIRC
Abstract CIRC is an automated circular coinductive prover implemented as an extension of Maude. The main engine of CIRC consists of a set of rewriting rules implementing the circularity principle. The power of the prover can be ...
2008 / Dorel Lucanu, Grigore Roşu, Gheorghe Grigoraş -
Towards SOS Meta-Theory for Language-Based Security
Abstract SOS meta-theory has been very successful in defining meta-theorems using which one can prove useful properties about language constructs. These meta-theorems can save pages of standard proof thanks to their generic and language-independent...
2006 / MohammadReza Mousavi -
Viewing a non stochastic spatial interpolator under a design based probabilistic framework
Abstract When inference regards a finite spatial pattern, a model-based framework is commonly used, even if the problem of model misspecification may occur. In classical design-based inference, this problem is overcome; nevertheless spatial...
2011 / Francesca Bruno, Daniela Cocchi, Alessandro Vagheggini -
The Geographic Information Platform of New Socialist Countryside Comprehensive Services
Abstract According to domestic and foreign rural geographic information system construction, this article points out the problems of domestic new socialist countryside construction. Combined with the reality of Xinjiang new socialist countryside...
2012 / Li Xiaonian, Zhu Yi, Zhang Fuhao, Liu Xiaodong -
Augmented Reality for 3D Construction
Abstract Augmented Reality is an emerging field with a wide range of applications. It involves the process of merging virtual components with the real world objects so that the user is unable to distinguish the change in the real world. The virtual...
2012 / N.R. Raajana, S. Suganya, R. Hemanand, S. Janani, Sarada Nandini N.S, et al. -
Static Hand Gesture Recognition Using Local Gabor Filter
Abstract With the increasing demand of Human-Computer interaction it is expected that in future human computer interfaces will provide more convenient, natural and comfortable communication same like human-human interaction. Usage of static gestures ...
2012 / Shikha Gupta, Jafreezal Jaafar, Wan Fatimah Wan Ahmad -
Multilayer Joining for Receiver Driven Multicast Congestion Control
Abstract In computer network, multicast is popular transmission scheme for multimedia application but it also have various problems such as congestion, reliability, security, connectivity, scalability, fairness etc. Congestion Control is burning...
2012 / Karan Singh, Rama Shankar Yadav -
Analyzing Distillation Process of Hidden Terms in Web Documents for IR
Abstract The previous work in web based applications such as mining web content, pattern recognition and similarity measures between the web documents. This paper is about, analyzing web documents in an enhanced way and delve the distillation web...
2012 / M. Pradeepa, C. Deisy -
Augmented Reality Based Virtual Reality
Abstract In this paper we have proposed a system which combines the overlaying of 3D graphics in augmented reality for mobile computing based on virtual reality. Augmented reality (AR) technology is very much useful for real time applications...
2012 / N.R. Raajan, S. Suganya, M.V. Priya, Sruthi V. Ramanan, S. Janani, et al.