4341 search results - page 484 / 869 » Quantitative Model checking |
170
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper describes a framework for detecting unusual events in surveillance videos. Most surveillance systems consist of multiple video streams, but traditional event detection ...
170
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
We propose a simple and straightforward analytic solution for the Q-ball reconstruction of the diffusion orientation distribution function (ODF) of the underlying fiber population...
174
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
A deformable registration method is proposed to register a brain atlas with tumor-bearing brain scans. The tumor mass effect is first simulated in the (normal) atlas, using a biom...
157
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
We discuss current progress towards two complementary web resources being developed for the Renal Physiome: (1) a database (QKDB) for quantitative and anatomical data at all level...
158
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
This paper analyses the stages and circumstances for immersion based on quantitative and qualitative feedback from 563 people who took part in a three week long public trial of a ...