177 search results - page 12 / 36 » On modular transformation of structural content |
NJC
2006
13 years 7 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
WISE
2002
Springer
14 years 16 days ago
2002
Springer
Web based services and applications have increased the availability and accessibility of information. XML has recently emerged as an important standard in the area of information ...
OHS
2001
Springer
14 years 2 days ago
2001
Springer
This paper presents an XML-based Adaptive Hypermedia Model (XAHM) and its modular architecture, for modelling and supporting Adaptive Hypermedia Systems, i.e. hypertext-based multi...
WISE
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we describe the semantic partitioner algorithm, that uses the structural and presentation regularities of the Web pages to automatically transform them into hierarchi...
HT
2003
ACM
14 years 27 days ago
2003
ACM
We have presented a system called Pocket News that transforms web contents in the internet automatically to the contents to be adapted for a mobile terminal, especially PDA. It is...