2410 search results - page 333 / 482 » Multiset Ordering Constraints |
138
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...
136
click to vote
ISBI
2002
IEEE
2002
IEEE
Covariance-driven retinal image registration initialized from small sets of landmark correspondences
16 years 5 months ago
An automatic retinal image registration algorithm would be an important tool for detecting visible changes in the retina caused by the progress of a disease or by the impact of a ...
143
click to vote
ISBI
2004
IEEE
16 years 5 months ago
2004
IEEE
Ultrasound images are corrupted by a multiplicative noise, the speckle, which makes high level analysis difficult. Within each resolution cell a number of elementary scatterers re...
151
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
As users get connected with new-generation smart programmable phones and Personal Digital Assistants, they look for geographic information and location-aware services. In such a s...
150
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable fragments of first-order logic. In case of termi...