In this project we will discuss about methods of extracting stable features for camera and laser range finder in order to use these features in SLAM. The methods including dot-product feature extractor and line segment feature extractor for laser range finder, corner feature extractor for camera images. The robot platform we work on is the Segway

We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transfer. The method is based on the use of two kinds of invariants. Component invariants which are over-approximations of components’ reachability sets. Interaction invariants which are constraints on the states of compone...

Identification of the short DNA sequence motifs that serve as binding targets for transcription factors is an important challenge in bioinformatics. Unsupervised techniques from the statistical learning theory literature have often been applied to motif discovery, but effective solutions for large genomic datasets have yet to be found. We present here three self-organizing neural networks that ...

Security is the main issue in the VANET because VANET provides the safety related application and save the human lives. VANET can save our time by providing the information not only about the busy traffic but also security. But the main issue is considering the security related such as security of the driver and passengers. The security information contains the information like location, identi...