71 search results - page 13 / 15 » Energy Minimization and Reliability for Wearable Medical App... |
EMSOFT
2007
Springer
14 years 1 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
PIMRC
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--Machine-to-Machine (M2M), an emerging communications paradigm, is a facilitator of data flows between machines used, e.g., in mission-critical applications. Focusing in t...
ISBI
2011
IEEE
12 years 11 months ago
2011
IEEE
Network structures formed by actin filaments are present in many kinds of fluorescence microscopy images. In order to quantify the conformations and dynamics of such actin fila...
ICIAR
2009
Springer
14 years 2 months ago
2009
Springer
In this paper, we present a new image segmentation method based on energy minimization for iteratively evolving an implicit active contour. Methods for active contour evolution is ...
SIAMIS
2010
13 years 6 months ago
2010
Surface registration, which transforms different sets of surface data into one common reference space, is an important process which allows us to compare or integrate the surface ...