2373 search results - page 137 / 475 » On the Theory of Structural Subtyping |
192
click to vote
EMSOFT
2007
Springer
16 years 22 days ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
163
click to vote
GECCO
2007
Springer
16 years 22 days ago
2007
Springer
Recent work has provided functions that can be used to prove a principled distinction between the capabilities of mutation-based and crossover-based algorithms. However, prior fun...
188
click to vote
ICB
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. As an important feature of fingerprints, singular points (includingcores and deltas) not only represent the local ridge pattern characteristics, but also determine the to...
139
click to vote
CSCW
2006
ACM
16 years 16 days ago
2006
ACM
Spontaneous multi-party interaction – conversation among groups of three or more participants – is part of daily life. While automated modeling of such interactions has receiv...
155
click to vote
GG
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Graph constraints and application conditions are most important for graph grammars and transformation systems in a large variety of application areas. Although different...