384 search results - page 17 / 77 » Temporal Development Methods for Agent-Based |
ISBI
2008
IEEE
14 years 9 months ago
2008
IEEE
A novel 4D level set framework was developed to segment dynamic MR images into the cortex, medulla and collecting system. The novelty of the method is that it combines information...
FROCOS
2007
Springer
14 years 2 months ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
FIMH
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. A 4D registration method for the spatio-temporal alignment of cardiac MR image sequences has been developed. The registration algorithm has the ability not only to correc...
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper we examine the dissemination of reports about resources in mobile peer-to-peer networks, where moving objects communicate with each other via short-range wireless tr...
CORIA
2010
13 years 3 months ago
2010
Knowledge discovery from satellite images in spatio-temporal context remains one of the major challenges in the remote sensing field. It is, always, difficult for a user to manuall...