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...
With the success of open source software projects, such as Apache and Mozilla, comes the opportunity to study the development process. In this paper, we present StarGate: a novel ...
Different stakeholders involved in the software development may attribute success to different indicators. Analogously they may support different factors considered the root of suc...
Evgenia Egorova, Marco Torchiano, Maurizio Morisio...
This paper describes a method to identify partially occluded shapes which are randomly oriented in 3D space. The goal is to match the object contour present in an image with an ob...
Open source software projects such as Apache and Mozilla present an opportunity for information visualization. Since these projects typically require collaboration between develop...
Michael Ogawa, Kwan-Liu Ma, Christian Bird, Premku...