1006 search results - page 47 / 202 » What is this page known for |
ICCL
1992
IEEE
14 years 1 months ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
IFIP12
2004
13 years 10 months ago
2004
: Hypertext categorization is the automatic classification of web documents into predefined classes. It poses new challenges for automatic categorization because of the rich inform...
WMPI
2004
ACM
14 years 2 months ago
2004
ACM
Abstract. Many applications with large data spaces that cannot run on a typical workstation (due to page faults) call for techniques to expand the effective memory size. One such t...
IUI
1997
ACM
14 years 1 months ago
1997
ACM
We have evaluated an adaptive hypermedia system, PUSH, and compared it to a non-adaptive variant of the same system. Based on an inferred information-seeking task, PUSH chooses wh...
EXPERT
2008
13 years 9 months ago
2008
The great success of Web 2.0 is mainly fuelled by an infrastructure that allows web users to create, share, tag, and connect content and knowledge easily. The tools for developing...