Computer and information sciences topic list of research papers
-
Integration of multiple cues for a human authentication system
Abstract In the field of biometrics, personal authentication and identification are regarded as effective methods for automatic recognition of a person. Using multimodal biometric systems, we typically get better recognition performance compared to...
2010 / P.K. Mahesh, M.N. Shanmukha Swamy -
Computer vision based date fruit grading system: Design and implementation
Abstract The Kingdom of Saudi Arabia is the world’s largest producer of date fruit. It produces almost 400 date varieties in bulk. During the harvesting season the date grading and sorting pose problems for date growers. Since it is a labor...
2011 / Yousef Al Ohali -
Generalized mixed quasi trifunction variational inequalities
Abstract In this paper, we introduce a new class of trifunction variational inequalities, which is called the generalized mixed quasi trifunction variational inequalities. Using the auxiliary principle technique, we suggest and analyze a proximal...
2010 / Muhammad Aslam Noor -
Preface2010 / Jean Krivine, Angelo Troina
-
An FPGA Implementation for Image Interpretation Based on Adaptive Boosting Algorithm in the Real-Time Systems
Abstract This paper presents an FPGA architecture for objects classification based on Adaptive Boosting algorithm. The ar-chitecture uses the color and texture features as input attributes to discriminate the objects in a scene. Moreover, the...
2012 / Mario-Alberto Ibarra-Manzano, Dora-Luz Almanza-Ojeda -
Discretization of Timed Automata in Timed μCRL à la Regions and Zones
Abstract This paper describes the initial steps in the discretization of a timed μCRL process equation representing a timed automaton. If the fractional parts of the time stamps of the actions are neglected, the translation results in a timed...
2006 / Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko -
An Analysis of the Composition of Synchronous Systems
Abstract Safety-critical embedded applications are often distributed. For example, software in an automotive control or in avionics control are distributed over a large number of distributed processors which are connected over some domain specific...
2009 / Bijoy A. Jose, Bin Xue, Sandeep K. Shukla -
Data Anonymity in the FOO Voting Scheme
Abstract We study one of the many aspects of privacy, which is referred to as data anonymity, in a formal context. Data anonymity expresses whether some piece of observed data, such as a vote, can be attributed to a user, in this case a voter. We...
2007 / S. Mauw, J. Verschuren, E.P. de Vink -
Automated Formalisation for Verification of Diagrammatic Models
Abstract Software engineering uses models to design and analyse systems. The current state-of-the-art, various forms of model-driven development, uses diagrams with defined abstract syntax but relatively-lose translational approaches to semantics,...
2010 / James R. Williams, Fiona A.C. Polack -
Visualizing Program Analysis with the Soot-Eclipse Plugin
Abstract Our integration of the Soot bytecode manipulation framework into the Eclipse IDE forms a powerful tool for graphically visualizing both the progress and output of program analyses. We demonstrate several examples of the visualizations that...
2004 / Jennifer Lhoták, Ondřej Lhoták -
Termination and Cost Analysis with COSTA and its User Interfaces
Abstract COSTA is a static analyzer for Java bytecode which is able to infer cost and termination information for large classes of programs. The analyzer takes as input a program and a resource of interest, in the form of a cost model, and aims at...
2009 / E. Albert, P. Arenas, S. Genaim, M. Gómez-Zamalloa, G. Puebla, et al. -
Minimality in a Linear Calculus with Iteration
Abstract System L is a linear version of Gödel's System T , where the λ-calculus is replaced with a linear calculus; or alternatively a linear λ-calculus...
2008 / Sandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot -
View Creation of Meta Models by Using Modified Triple Graph Grammars
Abstract Model-based software development is a hot topic of the software engineering community. Most activities in this area including the standardization efforts of the OMG are targeted towards the development of meta modeling tools, adaptable code ...
2008 / Johannes Jakob, Andy Schürr -
Methods for Quantitative Analysis of Probabilistic Pushdown Automata
Abstract We present several constructions and techniques which have recently been used to tackle the prob- lems of qualitative/quantitative analysis of probabilistic pushdown automata.
2009 / Antonín Kučera -
A Contract-based Approach to Specifying and Verifying Safety Critical Systems
Abstract Light-weight formal method has been regarded as an important approach to development of component-based safety critical systems. The paper proposes an approach which can formally specify and verify the contract of static structure, dynamic...
2007 / Wei Dong, Zhenbang Chen, Ji Wang -
Metamodel-Based Model Transformation with Aspect-Oriented Constraints
Abstract Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation uses graph rewriting as the underlying transformation...
2006 / László Lengyel, Tihamér Levendovszky, Gergely Mezei, Bertalan Forstner, Hassan Charaf -
On Combining Probability and Nondeterminism
Abstract The problem of combining nondeterminism and probability within a denotational model has been the subject of much research. Early work used schedulers to model probabilistic choice, interleaving their execution with that of nondeterministic...
2006 / M.W. Mislove -
Efficient Model Checking of Hardware Using Conditioned Slicing
Abstract In this work, we present an abstraction based property verification technique for hardware using conditioned slicing. We handle safety property specifications of the form G ( ...
2005 / Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham -
Secure Information Sharing in a Virtual Multi-Agency Team Environment
Abstract This paper proposes a two tier RBAC approach for secure and selective information sharing among virtual multi-agency response team (VMART) and allows expansion of the VMART by admitting new collaborators (government agencies or NGOs) as...
2007 / Nabil Adam, Ahmet Kozanoglu, Aabhas Paliwal, Basit Shafiq -
Fuzzy CARA - A Fuzzy-Based Context Reasoning System For Pervasive Healthcare
Abstract Pervasive computing is allowing healthcare to move from care by professionals in hospital to self-care, mobile care, and at-home care. The pervasive healthcare system, CARA(Context Aware Real-time Assistant), is designed to provide...
2012 / Bingchuan Yuan, John Herbert