3605 search results - page 28 / 721 » Associated types with class |
ECOOP
2007
Springer
14 years 1 months ago
2007
Springer
We present MJ: a language for specifying general classes whose members are produced by iterating over members of other classes. We call this technique “class morphing” or just ...
AUSAI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Analysis of queries posed to open-domain question-answering systems indicates that particular types of queries are dominant, e.g., queries about the identity of people, a...
SCP
2010
13 years 6 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
ESOP
2005
Springer
14 years 1 months ago
2005
Springer
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
WSCG
2003
13 years 9 months ago
2003
In this paper we present a non-interactive method for recoloring a destination image according to the color scheme found in a source image. The approach is motivated by trying to ...