3557 search results - page 216 / 712 » Authoring Presentation for OpenMath |
185
click to vote
ISSRE
2005
IEEE
16 years 3 days ago
2005
IEEE
End-user programmers are increasingly relying on web authoring environments to create web applications. Although often consisting primarily of web pages, such applications are inc...
198
click to vote
CSL
2005
Springer
16 years 2 days ago
2005
Springer
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
146
click to vote
IUI
2004
ACM
15 years 12 months ago
2004
ACM
Expert critiquing systems in education can support teachers in providing high quality individualized feedback to students. These systems, however, require significant development ...
177
click to vote
VAST
2004
ACM
15 years 12 months ago
2004
ACM
The benefits of including virtual humans into cultural heritage reconstructions are twofold: the realism of architectural models is increased by populating them; and, as well, it...
146
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
In UML2.0, significant efforts have been devoted towards a better definition of OCL. Still, the adoption of the language by the software engineers remains a significant challenge....