5015 search results - page 838 / 1003 » Model Checking a Path |
3DPVT
2006
IEEE
14 years 4 months ago
2006
IEEE
Building footprints have been shown to be extremely useful in urban planning, infrastructure development, and roof modeling. Current methods for creating these footprints are ofte...
ANSS
2006
IEEE
14 years 4 months ago
2006
IEEE
The explosive growth of multimedia and other bandwidth intensive applications has resulted a rapid increase in the size of the traffic loads that needs to be supported by modern n...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
– This paper presents two actuation compensation methods for a snake-like robot implementing multi flexible backbones and actuation redundancy. This snake-like robot is designed ...
IEEEARES
2006
IEEE
14 years 4 months ago
2006
IEEE
Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A classic...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
A distributed Monte Carlo simulation which models the propagation of light through tissue has been developed. It will allow for improved calibration of medical imaging devices for...