108 search results - page 7 / 22 » Automatic Validation of Code-Improving Transformations |
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
We propose a new method for warping highresolution images to efficiently track objects on the ground plane in real time. Recently, the emergence of high resolution video cameras (...
AGTIVE
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
MICCAI
2007
Springer
14 years 8 months ago
2007
Springer
The fusion of 3D freehand ultrasound with CT and CTA has benefits for a variety of clinical applications, however a lot of manual work is usually required for correct registration....
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
This paper introduces a method for clustering complex and linearly non-separable datasets, without any prior knowledge of the number of naturally occurring clusters. The proposed ...
BMEI
2009
IEEE
13 years 8 months ago
2009
IEEE
Cell enumeration in peripheral blood smears and cell are widely applied in biological and pathological practice. Not every area in the smear is appropriate for enumeration due to ...