This paper presents a novel scheme for fast color invariant ball detection in the RoboCup context. Edge filtered camera images serve as an input for an Ada Boost learning procedure that constructs a cascade of classification and regression trees (CARTs). Our system is capable to detect different soccer balls in the RoboCup and other environments. The resulting approach for object classification...

BACKGROUND Tuberculosis (TB) is one of the most prevalent cause of death due to a single pathogen. Bacillus Calmette Guérin (BCG) is the only vaccine available for clinical use that protects against miliary TB; however, this vaccine has shown variable levels of efficacy against pulmonary TB. In India, a single dose of BCG vaccine is given and there are few countries where repeated doses of BCG ...

Brain Magnetic Resonance Imaging (MRI) plays a very important role for radiologists to diagnose and treat brain tumor/ Multiple Sclerosis (MS) patients. Study of the medical image by the radiologist is a time consuming process and also the accuracy depends upon their experience. Thus, the computer aided systems (CAD) becomes very necessary as they overcome these limitations. This paper presents...

We propose a camera-based assistive text reading framework to help blind persons read text labels and product packaging from hand-held objects in their daily lives. We first propose an efficient and effective motion based method to define a region of interest (ROI) in the video by asking the user to shake the object. To automatically localize the text regions from the object ROI, we propose a n...

This paper describes a tool-supported method for the formal verification of Ada programs. It presents ATOS, a tool that automatically extracts a model in SPIN from an Ada Program, together with a set of properties that state the correctness of the model. ATOS is also capable of extracting properties from user-provided annotations in Ada programs, inspired by the Spark Annotation language. The g...