228 search results - page 37 / 46 » An effective theory of type refinements |
ECCV
1998
Springer
14 years 9 months ago
1998
Springer
Diffuse interreflections mean that surface shading and shape are related in ways that are difficult to untangle; in particular, distant and invisible surfaces may affect the shadi...
POPL
2006
ACM
14 years 8 months ago
2006
ACM
This paper defines an object-oriented language with harmless aspect-oriented advice. A piece of harmless advice is a computation that, like ordinary aspect-oriented advice, execut...
GIS
2005
ACM
14 years 9 months ago
2005
ACM
Several application contexts require the ability to use together and compare different geographic datasets (maps) concerning the same or overlapping areas. This is for example the...
ICDE
2009
IEEE
14 years 9 months ago
2009
IEEE
Data publishing can provide enormous benefits to the society. However, due to privacy concerns, data cannot be published in their original forms. Two types of data publishing can a...
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
In this paper we use concepts from the lattice-based theory of morphological operators and fuzzy sets to develop generalized lattice image operators that can be expressed as nonli...