216 search results - page 30 / 44 » Mathematical Context in Interactive Documents |
MTA
2008
13 years 8 months ago
2008
Information on the World Wide Web becomes more and more important for our society. For blind people this is a chance to access more information for their everyday life. In this pap...
TACAS
2000
Springer
14 years 1 days ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
SIGCSE
2004
ACM
14 years 1 months ago
2004
ACM
A framework for producing dynamic data structure visualizations within the context of a lightweight IDE is described. Multiple synchronized visualizations of a data structure can ...
IJWGS
2008
13 years 8 months ago
2008
: In the situation of information overload we are experiencing today, conventional web search systems taking a one-size-fits-all approach are often not capable of effectively satis...
JILT
2000
13 years 8 months ago
2000
In this paper we present some aspects of an intelligent interface for a WWWeb legal information retrieval system. Our system is able to keep the context of the user interaction in...