2357 search results - page 187 / 472 » interfaces 2007 |
153
click to vote
MKM
2007
Springer
16 years 12 days ago
2007
Springer
We present a new framework for the online development of formalized mathematics. This framework allows wiki-style collaboration while providing users with a rendered and browsable ...
146
Voted
OOPSLA
2007
Springer
16 years 12 days ago
2007
Springer
RANDOOP FOR JAVA generates unit tests for Java code using feedback-directed random test generation. Below we describe RANDOOP’s input, output, and test generation algorithm. We ...
135
click to vote
OSS
2007
Springer
16 years 12 days ago
2007
Springer
This paper presents a case study of introducing usability practices to a small open source project called Carrot2 . We describe our experiences from a point of view of an active Ca...
170
click to vote
SAMT
2007
Springer
16 years 11 days ago
2007
Springer
In this paper we describe the main aspects of a system to perform non-trivial segmentations of 3D surface meshes and to annotate the detected parts through concepts expressed by an...
171
click to vote
SEMWEB
2007
Springer
16 years 11 days ago
2007
Springer
For the development of Semantic Web technology, researchers and developers in the Semantic Web community need to focus on the areas in which human reasoning is particularly difficu...