319 search results - page 13 / 64 » Dynamically inferring temporal properties |
ISBI
2008
IEEE
14 years 10 months ago
2008
IEEE
We propose a method for recursive segmentation of the left ventricle (LV) across a temporal sequence of magnetic resonance (MR) images. The approach involves a technique for learn...
TCS
2008
13 years 9 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
ICASSP
2007
IEEE
14 years 4 months ago
2007
IEEE
We develop a general framework to automatically match electronic slides to the videos of corresponding presentations. Applications include supporting indexing and browsing of educ...
IPMI
2011
Springer
13 years 1 months ago
2011
Springer
Abstract. We introduce a novel algorithm for actin filament segmentation in 2D TIRFM image sequences. This problem is difficult because actin filaments dynamically change shapes ...
MATES
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents the language and software environment LEADSTO that has been developed to model and simulate the dynamics of Multi-Agent Systems (MAS) in terms of both qualitati...