Sciweavers

12399 search results - page 841 / 2480
» Deformable structural models
Sort
View
MFCS
1993
Springer
15 years 11 months ago
Deterministic Behavioural Models for Concurrency
Abstract This paper offers three candidates for a deterministic, noninterleaving, behaviour model which generalizes Hoare traces to the noninterleaving situation. The three models...
Vladimiro Sassone, Mogens Nielsen, Glynn Winskel
ER
2007
Springer
115views Database» more  ER 2007»
15 years 11 months ago
Modeling Workflow Patterns from First Principles
We propose a small set of parameterized abstract models for workflow patterns, starting from first principles for sequential and distributed control. Appropriate instantiations yie...
Egon Börger
BILDMED
2008
105views Algorithms» more  BILDMED 2008»
15 years 9 months ago
Curvature- and Model-Based Hatching of Patient-Specific Muscle Surfaces
Abstract. In this paper, we introduce a new method for hatching patient-specific, anatomic 3D surface models, in particular hatching of muscle surfaces. However, the method is tran...
Christian Tietjen, Rocco Gasteiger, Alexandra Baer...
DAGSTUHL
2008
15 years 9 months ago
A Note on Some Applications of Interval Arithmetic in Hierarchical Solid Modeling
Techniques of reliable computing, like interval arithmetic, can be used to guarantee reliable solutions even in the presence of numerical round-off errors. The need to trace bounds...
Eva Dyllong
ESANN
2008
15 years 9 months ago
Using graph-theoretic measures to predict the performance of associative memory models
We test a selection of associative memory models built with different connection strategies, exploring the relationship between the structural properties of each network and its pa...
Lee Calcraft, Rod Adams, Weiliang Chen, Neil Davey