1299 search results - page 106 / 260 » Quantitative Simulation Games |
202
click to vote
CVPR
2004
IEEE
16 years 8 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...
194
click to vote
QEST
2007
IEEE
16 years 20 days 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...
177
click to vote
AIPR
2005
IEEE
16 years 14 hour 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...
150
click to vote
VR
2003
IEEE
15 years 11 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...
166
click to vote
RTSS
1999
IEEE
15 years 10 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...