2801 search results - page 389 / 561 » On the Adequateness of the Connection Method |
145
click to vote
ZUM
2000
Springer
15 years 9 months ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...
137
click to vote
SC
1995
ACM
15 years 9 months ago
1995
ACM
This paper de nes and describes the properties of a multicast virtual topology, the M-array, and a resource-ecient variation, the REM-array. It is shown how several collective op...
149
click to vote
VLDB
1991
ACM
15 years 9 months ago
1991
ACM
In this paper we describe a rule-based approach to semantic specification that can be used to establish semantic agreement between a source and receiver. Query processing techniqu...
178
click to vote
SGP
2007
15 years 8 months ago
2007
We present a method for extracting a hierarchical, rigid skeleton from a set of example poses. We then use this skeleton to not only reproduce the example poses, but create new de...
173
click to vote
COMPGEOM
2005
ACM
15 years 8 months ago
2005
ACM
We present an efficient algorithm for maintaining the boundary and surface area of protein molecules as they undergo conformational changes. We also describe a robust implementati...