2470 search results - page 253 / 494 » Liveness-Preserving Simulation Relations |
147
click to vote
ICIP
2000
IEEE
16 years 7 months ago
2000
IEEE
This paper presents a novel method to determine the complete velocity vector of a moving target using a single Synthetic Aperture Radar (SAR) sensor. The method exploits the struc...
145
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. We describe a new approach to predicting the maximum target registration error for fiducial registration. The approach is based on the analysis of a spatial stiffness mod...
147
click to vote
ISBI
2004
IEEE
16 years 6 months ago
2004
IEEE
We address the problem of restoration of images obtained through a scattering medium. We present an efficient quasimaximum likelihood blind deconvolution approach based on the fas...
132
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability...
138
click to vote
ICRA
2009
IEEE
16 years 23 days ago
2009
IEEE
— We derive the theoretical performance of three bio-inspired odor source localization algorithms (casting, surgespiral and surge-cast) in laminar wind flow. Based on the geomet...