4502 search results - page 776 / 901 » Regular Model Checking |
126
click to vote
INTERSPEECH
2010
14 years 11 months ago
2010
Speech therapy aiming at improving voice quality and speech intelligibility is often hampered by the lack of knowledge of the underlying deficits. One way to help speech therapist...
177
click to vote
PAMI
2010
14 years 11 months ago
2010
We introduce Coherent Point Drift (CPD), a novel probabilistic method for nonrigid registration of point sets. The registration is treated as a Maximum Likelihood (ML) estimation ...
130
click to vote
TMI
2010
14 years 11 months ago
2010
Diffusion Kurtosis Imaging (DKI) is a new magnetic resonance imaging model that describes the non-Gaussian diffusion behavior in tissues. It has recently been shown that DKI param...
143
click to vote
TOG
2010
14 years 11 months ago
2010
Volumetric effects such as beams of light through participating media are an important component in the appearance of the natural world. Many such effects can be faithfully modele...
219
click to vote
CISS
2011
IEEE
14 years 8 months ago
2011
IEEE
—We consider a multi-static radar scenario with spatially dislocated receivers that can individually extract delay information only. Furthermore, we assume that the receivers are...