3557 search results - page 49 / 712 » Authoring Presentation for OpenMath |
164
click to vote
DOCENG
2010
ACM
15 years 6 months ago
2010
ACM
Building authoring applications is a tedious and complex task that requires a high programming effort. Document technologies, especially XML based ones, can help in reducing such ...
156
click to vote
JUCS
2008
15 years 5 months ago
2008
: At present a large amount of research exists into the design and implementation of adaptive systems. However, not many target the complex task of authoring in such systems, or th...
140
Voted
MKM
2005
Springer
15 years 11 months ago
2005
Springer
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...
116
click to vote
IJCAI
2007
15 years 6 months ago
2007
Accurate entity resolution is sometimes impossible simply due to insufficient information. For example, in research paper author name resolution, even clever use of venue, title ...
147
click to vote
AOSD
2009
ACM
16 years 7 days ago
2009
ACM
Desktop client applications interact with both local and remote resources. This is both a benefit in terms of the rich features desktop clients can provide, but also a security r...