Sciweavers

270 search results - page 12 / 54
» A Type System for Dynamic Web Documents
Sort
View
CN
2002
100views more  CN 2002»
13 years 7 months ago
Context-based navigation in the Web by means of dynamically generated guided tours
A key advantage of hypermedia systems such as the Web is that the user is able to navigate through the information space in a non-linear fashion. He can explore the interlinked do...
Wilfried Lemahieu
COLING
2010
13 years 2 months ago
DL Meet FL: A Bidirectional Mapping between Ontologies and Linguistic Knowledge
We present a transformation scheme that mediates between description logics (DL) or RDF-encoded ontologies and type hierarchies in feature logics (FL). The DL-to-FL direction is i...
Hans-Ulrich Krieger, Ulrich Schäfer
ICMCS
1997
IEEE
74views Multimedia» more  ICMCS 1997»
13 years 11 months ago
Link Management Framework for Hyper-Media Documents
This paper presents a framework for link management within hyper-media documents. The framework includes: (1) an object-oriented document architecture with a consistent interface ...
Dragos-Anton Manolescu, Klara Nahrstedt
AH
2008
Springer
14 years 1 months ago
A Dynamic Content Generator for Adaptation in Hypermedia Systems
The heterogeneity problem (in terms of different types of access devices, network bandwidth, preferences/characteristics of the user, etc.) has become a major problem for the Inter...
David Mérida, Ramón Fabregat, Xavier...
ECOOP
2010
Springer
14 years 5 days ago
Recency Types for Analyzing Scripting Languages
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
Phillip Heidegger, Peter Thiemann