Sciweavers

4600 search results - page 93 / 920
» Presentation Of The Eurolang Project
Sort
View
CNL
2009
15 years 7 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...
APVIS
2008
15 years 7 months ago
StarGate: A Unified, Interactive Visualization of Software Projects
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 ...
Kwan-Liu Ma
SIGSOFT
2010
ACM
15 years 4 months ago
Growth of newcomer competence: challenges of globalization
The transfer of entire projects to offshore locations, the aging and renewal of core developers in legacy products, the recruiting in fast growing Internet companies, and the part...
Minghui Zhou, Audris Mockus
CVIU
2004
143views more  CVIU 2004»
15 years 6 months ago
Shape matching of partially occluded curves invariant under projective transformation
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...
Carlos Orrite, José Elías Herrero Ja...
APVIS
2007
15 years 7 months ago
Visualizing social interaction in open source software projects
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...