3931 search results - page 597 / 787 » Separation logic and abstraction |
209
click to vote
FSTTCS
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. We consider a generalization of the set cover problem, in which elements are covered by pairs of objects, and we are required to find a minimum cost subset of objects th...
208
click to vote
ICIAP
2005
ACM
16 years 29 days ago
2005
ACM
Abstract. Fingerprints are one of the most used biometrics for automatic personal authentication. Unfortunately, it is often difficult to design fingerprint matchers exhibiting th...
165
click to vote
IPSN
2005
Springer
16 years 28 days ago
2005
Springer
Abstract— In some remote sensing applications, the functional relationship between the source being observed and the sensor readings may not be known. Because of communication co...
178
click to vote
MCS
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. Obtaining ground truth for hyperspectral data is an expensive task. In addition, a number of factors cause the spectral signatures of the same class to vary with location...
242
click to vote
MLMI
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. Object localization and tracking are key issues in the analysis of scenes for video surveillance or scene understanding applications. This paper presents a contribution t...