3931 search results - page 456 / 787 » Separation logic and abstraction |
189
click to vote
ISVC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper proposes a new approach for structure based separation of image objects using fuzzy morphology. With set operators in fuzzy context, we apply an adaptive alpha...
199
click to vote
KI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that...
185
click to vote
PET
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Location privacy is of utmost concern for location-based services. It is the property that a person’s location is revealed to other entities, such as a service provider...
174
click to vote
RECOMB
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Genome doubling simultaneously doubles all genetic markers. Genome rearrangement phylogenetics requires that all genomes analyzed have the same set of orthologs, so that ...
169
click to vote
SCALESPACE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Motion estimation is usually based on the brightness constancy assumption. This assumption holds well for rigid objects with a Lambertian surface, but it is less appropri...