6693 search results - page 237 / 1339 » Methods of Automatic Algorithm Generation |
144
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. In this paper, we present an automatic method for estimating the trajectories of Escherichia coli bacteria from in vivo phase-contrast microscopy videos. To address the l...
169
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
170
click to vote
CAIP
2007
Springer
16 years 16 days ago
2007
Springer
Segmentation of femurs in Anterior-Posterior x-ray images is very important for fracture detection, computer-aided surgery and surgical planning. Existing methods do not perform we...
171
click to vote
ICIAR
2005
Springer
15 years 12 months ago
2005
Springer
Image and statistical analysis are two important aspects of microarray technology. Of these, gridding is necessary to accurately identify the location of each spot while extracting...
168
Voted
CIVR
2004
Springer
15 years 11 months ago
2004
Springer
There has been much work concentrated on creating accurate shot boundary detection algorithms in recent years. However a truly accurate method of cut detection still eludes researc...