Verification of Top-K Algorithm for a Family of Non-monotonic Ranking Functions

Nicolás Madrid, Pavel Rusnok. Verification of Top-K Algorithm for a Family of Non-monotonic Ranking Functions. In 2015 IEEE International Conference on Systems, Man, and Cybernetics, Kowloon Tong, Hong Kong, October 9-12, 2015. pages 2643-2648, IEEE, 2015. [doi]

Authors

Nicolás Madrid

This author has not been identified. Look up 'Nicolás Madrid' in Google

Pavel Rusnok

This author has not been identified. Look up 'Pavel Rusnok' in Google