317 search results - page 10 / 64 » Interactive Mathematical Documents on the Web |
IJMMS
2007
13 years 8 months ago
2007
Terrorists and extremists are increasingly utilizing Internet technology to enhance their ability to influence the outside world. Due to the lack of multi-lingual and multimedia ...
AWIC
2003
Springer
14 years 2 days ago
2003
Springer
Abstract. We present a dialogue system that enables the access in natural language to a web information retrieval system. We use a Web Semantic Language to model the knowledge conv...
MKM
2005
Springer
14 years 1 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...
MHCI
2004
Springer
14 years 1 months ago
2004
Springer
This paper introduces a method for automatically partitioning richly-formatted electronic documents. An automatic partitioning system has many potential uses, but we focus here on ...
LREC
2008
13 years 9 months ago
2008
The IDEX system is a prototype of an interactive dynamic Information Extraction (IE) system. A user of the system expresses an information request in the form of a topic descripti...