Explicitly stated program invariants can help programmers by characterizing certain aspects of program execution and identifying program properties that must be preserved when mod...
Michael D. Ernst, Adam Czeisler, William G. Griswo...
Abstract. We investigate the suitability of different local feature detectors for the task of automatic image orientation under different scene texturings. Building on an existin...