154
click to vote
CNL
2009
15 years 6 months ago
2009
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...
135
Voted
MM
2005
ACM
15 years 10 months ago
2005
ACM
Advanced systems for finding, using, sharing, and remixing video require high-level representations of video content. A number of researchers have taken top-down, analytic approac...