Sciweavers

14331 search results - page 274 / 2867
» On the modeling and analysis of obligations
Sort
View
ISBI
2011
IEEE
14 years 10 months ago
Extraction and analysis of actin networks based on Open Active Contour models
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...
Ting Xu, Hongsheng Li, Tian Shen, Nikola Ojkic, Di...
ACL
2011
14 years 10 months ago
Model-Portability Experiments for Textual Temporal Analysis
Oleksandr Kolomiyets, Steven Bethard, Marie-Franci...
FMSD
2011
236views Formal Methods» more  FMSD 2011»
14 years 10 months ago
Automatic analysis of DMA races using model checking and k-induction
Alastair F. Donaldson, Daniel Kroening, Philipp R&...