4211 search results - page 64 / 843 » Types as Abstract Interpretations |
111
Voted
ICCV
2009
IEEE
16 years 8 months ago
2009
IEEE
This paper presents a novel method for detecting scale
invariant keypoints. It fills a gap in the set of available
methods, as it proposes a scale-selection mechanism for
juncti...
108
click to vote
CALCO
2007
Springer
15 years 9 months ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...
145
click to vote
ACL
1989
15 years 4 months ago
1989
We propose a model for transfer in machine translation which uses a rewriting system for typed feature structures. The grammar definitions describe transfer relations which are ap...
107
Voted
IFL
2001
Springer
15 years 7 months ago
2001
Springer
A programming language with subtyping can be translated into a language without subtyping by inserting conversion functions. Previous studies of this interpretation showed only the...
120
click to vote
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...