Efficient Instant Fuzzy Search With Proximity Ranking And Query Logs. int. jour. eng. com. sci 2017, 5 (2).