3394 search results - page 82 / 679 » Regular Object Types |
119
click to vote
DAGSTUHL
2007
15 years 2 months ago
2007
Abstract. In this paper, we consider two particular problems of directed graph matching. The first problem concerns graphs with nodes that have been subdivided into classes of di...
125
click to vote
ECOOP
2010
Springer
15 years 2 months ago
2010
Springer
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...
112
click to vote
NGC
2008
Springer
15 years 17 days ago
2008
Springer
A bytecode verifier for the Java virtual machine language (JVML) statically checks that bytecode does not cause any fatal error. However, the present verifier does not check correc...
112
click to vote
ECCV
2004
Springer
16 years 2 months ago
2004
Springer
Among image restoration literature, there are mainly two kinds of approach. One is based on a process over image wavelet coefficients, as wavelet shrinkage for denoising. The other...
111
Voted
ECOOP
1993
Springer
15 years 4 months ago
1993
Springer
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...