2596 search results - page 67 / 520 » Gradual Typing for Objects |
131
click to vote
ISUVR
2007
15 years 4 months ago
2007
— When types of communication between people are observed, one can see that communication not only consist of words but also, contextual communication consist of facial expressio...
144
click to vote
ENTCS
2002
15 years 3 months ago
2002
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
143
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
192
Voted
IGARSS
2010
14 years 10 months ago
2010
This paper investigates the performance of machine learning methods for classifying rock types from hyperspectral data. The main objective is to test the impact on classification ...
127
click to vote
JIPS
2006
15 years 3 months ago
2006
: In this study we propose an automatic reading system for diagnostic DNA chips. We define a general specification for an automatic reading system and propose a possible implementa...