5015 search results - page 347 / 1003 » Model Checking a Path |
159
click to vote
MICCAI
2002
Springer
16 years 7 months ago
2002
Springer
The development of Diffusion Tensor MRI has raised hopes in the neuro-science community for in vivo methods to track fiber paths in the white matter. A number of approaches have be...
188
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
We have developed a transaction-based approach to distributed shared memory(DSM) that supports object caching and generates path expression prefetches. A path expression specifies...
155
click to vote
ICRA
2005
IEEE
16 years 6 days ago
2005
IEEE
— The E∗ algorithm is a path planning method capable of dynamic replanning and user-configurable path cost interpolation. It calculates a navigation function as a sampling of ...
168
click to vote
ISCC
2005
IEEE
16 years 5 days ago
2005
IEEE
The problem of computing bandwidth guaranteed paths for given flow requests in an ad-hoc network is complicated because neighboring links share the medium. We define the path wi...
159
click to vote
PSIVT
2009
Springer
15 years 11 months ago
2009
Springer
Image-based rendering (IBR) has been used to synthesize images corresponding to a new view point from stored images. Rendering methods based on a three-dimensional plenoptic functi...