Velocity can come from dopplar shift of the GPS carrier frequencies. This is very accurate. An IMU can be used for walking speed estimation but it won't be as accurate using a human gait model or direct integration.