2596 search results - page 160 / 520 » Gradual Typing for Objects |
183
Voted
AFRIGRAPH
2010
ACM
15 years 7 months ago
2010
ACM
Interpolation based on Radial Basis Functions (RBF) is very often used for scattered scalar data interpolation in n-dimensional space in general. RBFs are used for surface reconst...
122
Voted
ICAI
2008
15 years 5 months ago
2008
coarse procedures or very abstract frames from the point of view of algorithm, because some crucial issues like the representation, evolution, storage, and learning process of conc...
116
click to vote
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
161
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
106
Voted
ICALT
2007
IEEE
15 years 10 months ago
2007
IEEE
The article presents the PLExus prototype, a Personal Learning Environment based on the semantic technology of topic maps. Semantic-based navigation in e-learning will enable vari...