43264 search results - page 8083 / 8653 » Comparing models of computation |
115
Voted
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
127
click to vote
ISBI
2004
IEEE
16 years 5 months ago
2004
IEEE
We provide approximate expressions for the covariance matrix of kinetic parameter estimators based on time activity curve (TAC) reconstructions when TACs are modeled as a linear c...
118
click to vote
ISBI
2004
IEEE
16 years 5 months ago
2004
IEEE
For many medical procedures 3D bone models are built from Computed Tomography (CT) or Magnetic Resonance Imaging (MRI) data, both of which are expensive and time consuming, and un...
124
click to vote
ISBI
2006
IEEE
16 years 5 months ago
2006
IEEE
The subcellular location of proteins is most often determined by visual interpretation of fluorescence microscope images. In recent years, automated systems have been developed so...
132
click to vote
ISBI
2008
IEEE
16 years 5 months ago
2008
IEEE
In the field of image segmentation, most of level-set-based active contour approaches are based on a discrete representation of the associated implicit function. We present in thi...