2596 search results - page 312 / 520 » Gradual Typing for Objects |
128
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Frames, i.e., recursive attribute-value structures, are a general format for the decomposition of lexical concepts. Attributes assign unique values to objects and thus de...
148
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
Recent efforts attempt to combine together information of different passive methods. Critical issues in this research are the choice of data and how to combine such data in order ...
119
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
A common theoretical assumption in the study of information flow security in Java-like languages is that pointers are opaque – i.e., that the only properties that can be observ...
125
click to vote
ACCV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present an image segmentation technique using the morphological Waterfall algorithm. Improvements in the segmentation are brought about by using improved gradients. Th...
196
click to vote
ADVIS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Contextual ontologies are ontologies that characterize a concept by a set of properties that vary according to context. Contextual ontologies are now crucial for users wh...