3557 search results - page 668 / 712 » Authoring Presentation for OpenMath |
122
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
As the paradigm of object orientation becomes more and more important for modern IT development projects, the demand for an automated test case generation to dynamically test obje...
155
click to vote
RT
2005
Springer
15 years 6 months ago
2005
Springer
3D Face modeling is still one of the biggest challenges in computer graphics. In this paper we present a novel framework that acquires the 3D shape, texture, pose and illumination...
112
click to vote
TABLEAUX
2005
Springer
15 years 6 months ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
139
Voted
CSCW
2004
ACM
15 years 6 months ago
2004
ACM
In this paper, we describe the evolution and impact of computersupported cooperative work (CSCW) research through social network analysis of coauthorship data. A network of author...
91
Voted
DOCENG
2004
ACM
15 years 6 months ago
2004
ACM
Three-way merging is a technique that may be employed for reintegrating changes to a document in cases where multiple independently modified copies have been made. While tools fo...