Computer and information sciences topic list of research papers
-
Generating Session Password Using Text and Colorto Prevent Shoulder Surfing
Abstract Generally textual passwords are used for authentication, but textual passwords are vulnerable to many attacks such as dictionary attack, eves dropping, shoulder surfing and social engineering. Graphical passwords are introduced to overcome...
2012 / D.Surya Devi, M.Tamil Selvi, T.Sowmiya, M.J. Pavithra, J. Jeba Emilyn -
Real-time Hand Gestures System for Mobile Robots Control
Abstract Autonomous mobile robot navigation in an indoor environment using vision sensor is receiving a considerable attention in current robotics research activities. In this paper, a robot controlled by real-time hand gesture is proposed. This...
2012 / Ahmad’Athif Mohd Faudzi, Muaammar Hadi Kuzman Ali, M. Asyraf Azman, Zool Hilmi Ismail -
On Succinctness of Hierarchical State Diagrams in Absence of Message Passing
Abstract We show a subexponential but superpolynomial lower bound for flattening problem for statecharts. The result explains why common flattening algorithms explode, if the signal communication is excluded from the target language. This...
2005 / Andrzej Wa̧sowski -
Numerical Simulation of Gain Lever Laser Diode and Performance Prediction for 900 MHz RF Signal Transmission
Abstract In this work, we have numerically simulated a two section, six Quantum Well laser diode by solving the rate equations. Static and modulation characteristics are studied for gain lever laser diode with longer section to shorter section ratio ...
2012 / S.Piramasubramanian, M.Ganesh Madhan -
State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction2012 / Yang Guo, Wanxia Qu, Long Zhang, Weixia Xu
-
Multimodal Interaction on English Testing Academic Assessment
Abstract Multimodal interaction methods applied to learning environments of the English language will be a line for future research from the use of adapted mobile phones or PDAs. Today's mobile devices allow access and data entry in a synchronized...
2012 / T. Magal-Royo, J.L. Gimenez-López, Jesus García Laborda -
Distributed Adaptive Algorithms for Optimal Opportunistic Medium Access2010 / Yahya Al-Harthi, Sem Borst, Phil Whiting
-
An Air-Ground Wireless Sensor Network for Crop Monitoring2011 / João Valente, David Sanz, Antonio Barrientos, Jaime del Cerro, Ángela Ribeiro, et al.
-
Comparison of Traditional and Digital Visualization Technologies in Architectural Design Education
Abstract Today, like in all other science fields, information technologies are intensively used in architectural design education. However, in that education, conventional tools are still used. Digital technologies are used as supplementary tools....
2012 / Tayfun Yildirim, Arzu Ozen Yavuz -
Linear-time protein 3-D structure searching with insertions and deletions2010 / Tetsuo Shibuya, Jesper Jansson, Kunihiko Sadakane
-
On Cartesian Trees and Range Minimum Queries2012 / Erik D. Demaine, Gad M. Landau, Oren Weimann
-
Bringing Ontology to the Gene Ontology2003 / Jennifer Williams, William Andersen
-
A Modified Clustering Method Based on Self-Organizing Maps and Its Applications
Abstract Self-organizing map (SOM) is one of the most popular neural network methods for cluster analysis. Clustering methods using SOM usually are two-stage procedures: first original data are projected onto a set of prototypes on an ordered grid...
2012 / Le Yang, Zhongbin Ouyang, Yong Shi -
An Ontology-based System for Semantic Filtering of XML Data
Abstract In this paper, we describe a system, written in Haskell, for the ontology-based approximate filtering of XML data. Basically, it allows one to extract relevant data as well as to exclude useless and misleading contents from an XML document. ...
2009 / M. Baggi -
A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs
Abstract Reasoning about multithreaded object-oriented programs is difficult, due to the non-local nature of object aliasing, data races, and deadlocks. We propose a programming model that prevents data races and deadlocks, and supports local...
2007 / Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte -
HTab: a Terminating Tableaux System for Hybrid Logic
Abstract Hybrid logic is a formalism that is closely related to both modal logic and description logic. A variety of proof mechanisms for hybrid logic exist, but the only widely available implemented proof system, HyLoRes, is based on the resolution ...
2009 / Guillaume Hoffmann, Carlos Areces -
Parametric Analysis of an Improved Fault Tolerant System
Abstract We report our preliminary study on an improved triple modular computer system from the aerospace field, which is designed to compute the course of action that other subsystems take and output the result to other subsystems. Based on the...
2008 / Miaomiao Zhang, Wenzhong Qin -
A Constructive Object Oriented Modeling Language for Information Systems
Abstract One of the central aspects in an Information System is the meaning of data in the external world and the information carried by them. We propose a Constructive Object Oriented Modeling Language (COOML) for information systems, based on a...
2006 / Mario Ornaghi, Marco Benini, Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano -
Topological Aspects of Hybrid Processes
Abstract In the study of hybrid systems, one encounters problems of a topological nature such as the continuity of physical behavior, limit-behavior such as Zeno-phenomena and the influence of imprecise measurements. We discuss/define these...
2006 / P.J.L. Cuijpers, M.A. Reniers -
Transformations of Petri Nets
Abstract The aim of this paper is an introduction to the area of Petri net transformations, a rule-based approach for dynamic changes of the net structure of Petri nets. This is especially important for the stepwise construction of Petri nets in the ...
2006 / H. Ehrig, K. Hoffmann, J. Padberg