Sciweavers

4600 search results - page 10 / 920
» Presenting the cyclotactor project
Sort
View
CNL
2009
13 years 8 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
13 years 9 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
EUROMICRO
2009
IEEE
13 years 5 months ago
Stakeholders' Perception of Success: An Empirical Investigation
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...
CVIU
2004
143views more  CVIU 2004»
13 years 7 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
13 years 9 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...