Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
We are interested in automating search operations for man-made objects on the ocean floor. Although multiple sensors (TV, sonar, etc.) will be used eventually, we limit ourselves in this paper to optical photographs and present some results of using automatic shape analysis in distinguishing between man-made objects and empty ocean floor. The shape descriptors we use do not demand closed boundaries. © 1983.
Barry K. Rosen
SWAT 1972
Shachar Don-Yehiya, Leshem Choshen, et al.
ACL 2025
David W. Jacobs, Daphna Weinshall, et al.
IEEE Transactions on Pattern Analysis and Machine Intelligence
Michael Muller, Anna Kantosalo, et al.
CHI 2024