319 search results - page 13 / 64 » Dynamically inferring temporal properties |
ISBI
2008
IEEE
15 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
14 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
15 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...
114
click to vote
IPMI
2011
Springer
14 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 ...
101
click to vote
MATES
2005
Springer
15 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...