5015 search results - page 284 / 1003 » Model Checking a Path |
162
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
—In this contribution, the Fisher-Bingham-5 (FB5) probability density function (pdf) is used to model the shape of the direction power spectral density function (psdf) of individ...
174
click to vote
COCO
2000
Springer
15 years 11 months ago
2000
Springer
We show that the Shortest Path Problem cannot be solved in o(log n) time on an unbounded fan-in PRAM without bit operations using poly(n) processors even when the bit-lengths of t...
144
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— This paper is concerned with path planning for an autonomous flight vehicle operating in a steady, uniform flow-field. We model the vehicle as a particle that travels in the...
153
click to vote
TMA
2010
Springer
16 years 1 months ago
2010
Springer
The paper describes the EmPath tool that was designed to emulate packet transfer characteristics as delays and losses in IP network. The main innovation of this tool is its ability...
189
click to vote
MICCAI
2009
Springer
15 years 11 months ago
2009
Springer
We propose a recursive Bayesian model for the delineation of coronary arteries from 3D CT angiograms (cardiac CTA) and discuss the use of discrete minimal path techniques as an e...