2125 search results - page 25 / 425 » Points with Type-2 Operations |
ENTCS
2002
13 years 7 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
EUSFLAT
2007
13 years 9 months ago
2007
In this paper, aggregation is treated as a logical and/or pseudo-logical operation what is important from many points of view such as adequacy and interpretations.
CIVR
2007
Springer
14 years 1 months ago
2007
Springer
This paper deals with a new interest points detector. Unlike most standard detectors which concentrate on the local shape of the signal, the main objective of this new operator is...
IANDC
2006
13 years 7 months ago
2006
This paper generalizes existing connections between automata and logic to a coalgestraction level. Let F : Set Set be a standard functor that preserves weak pullbacks. We introdu...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we investigate an approach that computes salient points, i.e. areas of natural images that contain corners or edges, incrementally. We focus on the popular Harris c...