How to deal with a grumpy co-worker?

I work in a big hospital that is also a teaching hospital (nurse and doctor interns). I have worked here a few months, and though I’m not the best most experienced person there, I work hard and I am easy to get along with. One co-worker in particular is very mean. No matter what you do, she won’t play nicely. You say hi, she looks at you and walks the other direction. You ask how she is, you get a short snotty remark. I am not the only one she behaves like this towards, and I get complaints from interns and co-workers alike about this woman. So I guess my question is how do I deal? I don’t mind that for whatever reason she doesn’t like me, but the childish behavior has no place in a professional environment as an adult. Do I speak with my supervisor? Do I ignore it and let her continue to treat myself and others badly? Minus three friends she works with, no one seems to be able to do anything worthy of getting her to be polite. It rubs me the wrong way because it is unecessary, and I would love to know any advice you have for me.