3441 search results - page 71 / 689 » Intelligent Computation of Presentation Documents |
136
click to vote
TPHOL
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
135
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Documents are recommended by computer-based systems normally according to their prominence in the document reference network. Based on the requirements identified in a concrete u...
140
click to vote
GROUP
1995
ACM
15 years 7 months ago
1995
ACM
Software and Information Systems (IS) documents are a common product of large IS development e orts. These documents are produced and consumed through a variety of documentation p...
126
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
—We present the STORIES methods and tool for (a) an abstracted story representation from a collection of time-indexed documents; (b) visualising it in a way that encourages users...
132
click to vote
AUSAI
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we describe KES, a system that integrates text categorisation and information extraction in order to extract key elements of information from particular types of doc...