Verification of k-coverage on query line segments. - Kun-Han Juang; En Tzu Wang; Chieh-Feng Chiang; Arbee L. P. Chen (IDEAS, 2013)