In this paper, we present an automatic compiler-based approach for detecting programming errors. Our system uses a configurable and scalable whole-program dataflow analysis engine driven by highlevel programmer-written annotations. We show that our system can automatically detect a wide range of programmer errors in C programs, including improper use of libraries, information leaks, and securit...

image classification is an issue which utilizes image processing, pattern recognition and classification methods. automatic medical image classification is a progressive area in image classification and it expected to be more developed in the future. due to this fact that automatic diagnosis which use intelligent methods such as medical image classification can assist pathologists by providing ...

Monitoring military, conflicts, illegal immigrants etc. areas rely currently on technology and man power, however automatic monitoring has been advancing in order to avoid potential human errors that can be caused by different reasons. This introduces an automatic recognition of object, which uses image processing to detect and extract moving objects within a restricted area, and a neural netwo...

In a MiroSOT robot soccer program, operators manually adjust color setting using global vision system for detecting objects such as robots and a ball. It is a cumbersome and time-consuming operation before the game. Since spectators may make shadows and illumination changes on the pitch, it becomes more difficult to detect colors of the objects. For the convenience of operators, automatic color...

The cardiovascular system has become the most important subject of clinical research, particularly measurement of arterial blood flow. Therefore correct determination of arterial diameter is crucial. We propose a novel, semi-automatic method for artery lumen detection. The method is based on Gaussian probability function. Usability of our proposed method was assessed by analyzing ultrasound B-m...

This paper presents the design and implementation of an intelligent, re-programmable device that is capable of automatically detecting USB peripherals on insertion and performing various tasks accordingly. Examples include the automatic transfer of data between pen drives or the automatic printing of a file located on a pen drive. The performance of the system was analyzed and results for the e...

Current enterprises spend much effort in obtaining precise models of their software engineering processes in order to improve the process capability of their organization and to move one step forward in the CMM. The manual design of process models, however, is complicated, time-consuming, error-prone and the results are rapidly becoming out-dated; capabilities of humans in detecting discrepanci...

In this positron emission tomography study, we investigated the neural correlates of semantic priming, where response to a word is facilitated when preceded by a semantically related word. Nine normal subjects were scanned while performing a lexical decision task. Within this condition, the proportion of related prime-target word pairs was varied across scans from 0 to 100%. The control task in...

By detecting ultrasonically tagged diffuse light, ultrasound-modulated optical tomography images optical contrast with ultrasonic resolution deep in turbid media, such as biological tissue. However, small detection etendues and weak tagged light submerged in strong untagged background light limit the signal detection sensitivity. In this Letter, we report the use of a large-area (~5 cm×5 cm) ph...

Automatic change detection and data updating is a very important issue for keeping the temporal accuracy and currency of spatial data sets. Road networks are one of the most important parts of geographic database. Firstly two kinds of new algorithms for detecting feature changes that is buffer detection (BD) algorithm and double-buffer detection (DBD) algorithm are illustrated in detail. The co...