2596 search results - page 41 / 520 » Gradual Typing for Objects |
PG
2002
IEEE
15 years 4 months ago
2002
IEEE
A novel and fast shape classification and regularization algorithm for on-line sketchy graphics recognition is proposed. We divided the on-line graphics recognition process into f...
POPL
1996
ACM
15 years 3 months ago
1996
ACM
Region Inference is a technique for implementing programming languages that are based on typed call-by-value lambda calculus, such as Standard ML. The mathematical runtime model o...
ACL
2011
14 years 2 months ago
2011
The goal of our research is to improve event extraction by learning to identify secondary role filler contexts in the absence of event keywords. We propose a multilayered event e...
102
click to vote
ECCTD
2011
13 years 11 months ago
2011
Abstract—In this paper, a low complexity algorithm for the design of a time-varying correction filter of finite impulse response (FIR) type is presented. Using the obtained fi...
81
Voted
PODS
1994
ACM
15 years 3 months ago
1994
ACM
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion spe...