Sciweavers

Share
CNL
2009
8 years 9 months ago
The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...
Marcos Cramer, Bernhard Fisseni, Peter Koepke, Dan...
MM
2005
ACM
87views Multimedia» more  MM 2005»
9 years 1 months ago
Toward emergent representations for video
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...
Ryan Shaw, Marc Davis
books