2558 search results - page 166 / 512 » Model Composition Contracts |
175
click to vote
HASKELL
2009
ACM
15 years 11 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
136
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Metabolic pathway is a highly regulated network consisting of many metabolic reactions involving substrates, enzymes, and products, where substrates can be transformed...
141
click to vote
MICCAI
2005
Springer
16 years 5 months ago
2005
Springer
Understanding of the dynamic behaviour of the levator ani is important to the assessment of pelvic floor dysfunction. Whilst shape modelling allows the depiction of 3D morphologica...
131
click to vote
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cant...
144
click to vote
ICIP
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper describes a new region-growing method for segmenting medical images. The method uses a closed snake driven by a pressure force that is a function of the statistical cha...