Efficient proximity detection among mobile targets with dead reckoning.