Using integral geometry and Morse theory, we explain how to generalize Rice's formula for the upcrossings of a Gaussian process by computing the mean Euler characteristic of the excursion sets for Gaussian random fields. We also show how to calculate the other mean Lipschitz-Killing curvatures. As an application, we use this to give a very good estimate for excursion probabilities at very high...