1299 search results - page 106 / 260 » Quantitative Simulation Games |
157
Voted
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
In this paper, we study the problem of pointwise motion tracking in echocardiographic images. We show that decorrelation between tissue motion and intensity variation is inevitabl...
160
Voted
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
144
Voted
AIPR
2005
IEEE
15 years 9 months ago
2005
IEEE
Diffuse Optical Tomography (DOT) poses a typical illposed inverse problem with limited number of measurements and inherently low spatial resolution. In this paper, we propose a hi...
110
Voted
VR
2003
IEEE
15 years 9 months ago
2003
IEEE
We examine the law of steering – a quantitative model of human movement time in relation to path width and length previously established in hand drawing movement – in a VR loc...
133
Voted
RTSS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...