Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rename ranking evaluation quality_level to metric_score #32168

Merged
merged 5 commits into from
Jul 23, 2018

Commits on Jul 18, 2018

  1. Rename ranking evaluation quality_level to metric_score

    The notion of "quality" seems to be a somewhat overloaded term in the search
    ranking evaluation context. Its usually used to decribe certain levels of "good"
    vs. "bad" of a seach result wrt. the user needs. We currently report the result
    of the evaluation metric calculation as `quality_level` which I find a bit
    missleading now. This changes it to something more neutral like `metric_score`.
    Christoph Büscher committed Jul 18, 2018
    Configuration menu
    Copy the full SHA
    9c4850c View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2018

  1. Merge branch 'master' into rename-qualityLevel

    Christoph Büscher committed Jul 20, 2018
    Configuration menu
    Copy the full SHA
    95579fe View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2018

  1. Merge branch 'master' into rename-qualityLevel

    Christoph Büscher committed Jul 23, 2018
    Configuration menu
    Copy the full SHA
    70ee8e9 View commit details
    Browse the repository at this point in the history
  2. iter

    Christoph Büscher committed Jul 23, 2018
    Configuration menu
    Copy the full SHA
    d9c54d1 View commit details
    Browse the repository at this point in the history
  3. Merge branch 'master' into rename-qualityLevel

    Christoph Büscher committed Jul 23, 2018
    Configuration menu
    Copy the full SHA
    6853ad2 View commit details
    Browse the repository at this point in the history