3557 search results - page 221 / 712 » Authoring Presentation for OpenMath |
156
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
152
click to vote
HT
1991
ACM
15 years 10 months ago
1991
ACM
Research on understanding linear texts has shown that comprehension and navigation mainly depend on the reader’s ability to construct a coherent mental representation. While the...
182
click to vote
LISA
2007
15 years 8 months ago
2007
We propose RepuScore, a collaborative reputation management framework over email infrastrucure, which allows participating organizations to establish sender accountability on the ...
151
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Blog search has not yet reached its full potential. In this position paper, we suggest that more could be done to accommodate the task of finding good blogs to read, especially wi...
147
click to vote
CHINZ
2005
ACM
15 years 8 months ago
2005
ACM
re the use of abstracted screenshots as part of a new help interface. Graphstract, an implementation of a graphical help system, extends the ideas of textually oriented Minimal Ma...