3818 search results - page 481 / 764 » Learning from Order Examples |
129
click to vote
DIAGRAMS
2004
Springer
15 years 8 months ago
2004
Springer
The rapidly increasing availability of electronic publications containing information graphics poses some interesting challenges in terms of information access. For example, visual...
154
click to vote
DIAGRAMS
2004
Springer
15 years 8 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
116
click to vote
MFCS
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Action refinement in process algebras has been widely studied in the last few years as a means to support top-down design of systems. A specific notion of refinement aris...
155
click to vote
MPC
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. We present a strategy to develop, in a functional setting, correct, e cient and portable Divide-and-Conquer (DC) programs for massively parallel architectures. Starting f...
103
click to vote
ECMDAFA
2007
Springer
15 years 6 months ago
2007
Springer
In object technology, reusability is achieved primarily through class inheritance. In model engineering, where reusability is also important, it should be possible to extend a mode...