14382 search results - page 213 / 2877 » Time in Connectionist Models |
195
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
A novel statistical scheme for the automatic detection and tracking in time of relapsing-remitting multiple sclerosis (MS) lesions in image sequences is described. Coherent space-...
173
click to vote
ISOLA
2007
Springer
16 years 19 days ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
191
click to vote
SEW
2006
IEEE
16 years 15 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
169
click to vote
ICCSA
2003
Springer
15 years 11 months ago
2003
Springer
It is necessary to have the precise definition of available performance of high availability systems that can represent the availability and performability of the systems altogethe...
178
click to vote
TOG
2008
15 years 6 months ago
2008
In this paper we present an approach to enrich skeleton-driven animations with physically-based secondary deformation in real time. To achieve this goal, we propose a novel, surfa...