This article proposes formal models for two commonly used methods - tagging and browsing - and investigates new approaches to improve the efficiency of manual image annotation. © 2009 IEEE.