Sciweavers

14331 search results - page 274 / 2867
» On the modeling and analysis of obligations
Sort
View
326
Voted
ISBI
2011
IEEE
14 years 11 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...
159
Voted
ACL
2011
14 years 11 months ago
Structural Topic Model for Latent Topical Structure Analysis
Hongning Wang, Duo Zhang, ChengXiang Zhai
129
Voted
ACL
2011
14 years 11 months ago
Model-Portability Experiments for Textual Temporal Analysis
Oleksandr Kolomiyets, Steven Bethard, Marie-Franci...
296
Voted
FMSD
2011
236views Formal Methods» more  FMSD 2011»
14 years 11 months ago
Automatic analysis of DMA races using model checking and k-induction
Alastair F. Donaldson, Daniel Kroening, Philipp R&...