5234 search results - page 237 / 1047 » Method Components - Rationale Revealed |
121
click to vote
IFM
2000
Springer
15 years 7 months ago
2000
Springer
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not ...
138
Voted
CBSE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Workflow systems provide support for combining components to achieve a particular outcome. Various approaches from software engineering have been utilized within such sys...
114
click to vote
FMICS
2008
Springer
15 years 5 months ago
2008
Springer
There has been relatively little work on the implementability of timing requirements. We have previously provided definitions of fundamental timing operators that explicitly consid...
153
click to vote
DICTA
2003
15 years 5 months ago
2003
For many applied problems in the context of clustering via mixture models, the estimates of the component means and covariance matrices can be affected by observations that are at...
141
click to vote
GRAPHICSINTERFACE
2003
15 years 5 months ago
2003
The creation of realistic 3D face models is still a fundamental problem in computer graphics. In this paper we present a novel method to obtain the 3D shape of an arbitrary human ...