Formal models for expert finding in enterprise corpora | Synapse