Searching can be done at a PTDL
(over 70 locations)
On the web:
USPTO
IBM Patent Server
Various commercial fee based sites
From CMUs homepage:
USPTO
COS
Lexis-Nexis