How do professional chefs sharpen their knives?

Are they sent out at regular intervals? Are they sharpened in the kitchen? What technique is used to sharpen the knives? Edit: Thank you for the responses, I'll likely use a combination of the techniques in my home kitchen until I find what works best without a tremendous amount of effort.