973 search results - page 161 / 195 » Be Prepared |
DOCENG
2009
ACM
15 years 4 months ago
2009
ACM
In this paper, we extend previous work on the automatic structuring of medical documents using content analysis. Our long-term objective is to take advantage of specific rhetoric ...
83
Voted
HT
2009
ACM
15 years 4 months ago
2009
ACM
How can authoring tools help authors create complex, innovative hypertext narrative structures? Tools for creating hypertext fiction typically represent such narratives in the fo...
HT
2009
ACM
15 years 4 months ago
2009
ACM
The early Web was hailed for being easy to use, and what is more important, giving people a chance to participate in its growth. The Web3D was believed to have potential to be the...
NOMS
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—Application servers are a core component of a multitier architecture that has become the industry standard for building scalable client-server applications. A client com...
TPHOL
2008
IEEE
15 years 4 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...