Sciweavers

46 search results - page 7 / 10
» Tempus Fugit: A System for Making Semantic Connections
Sort
View
WWW
2008
ACM
14 years 8 months ago
Dtwiki: a disconnection and intermittency tolerant wiki
Wikis have proven to be a valuable tool for collaboration and content generation on the web. Simple semantics and ease-of-use make wiki systems well suited for meeting many emergi...
Bowei Du, Eric A. Brewer
WWW
2003
ACM
14 years 8 months ago
Assisted Browsing for Semistructured Data
The development of the RDF[2] standard highlights the fact that a great deal of useful information is in the form of semistructured data--objects connected by relations fitting no...
Vineet Sinha, David R. Karger, David Huynh
VL
2002
IEEE
105views Visual Languages» more  VL 2002»
14 years 20 days ago
A Visual Framework for Modelling with Heterogeneous Notations
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...
Jean Flower, John Howse, John Taylor, Stuart Kent
ENTCS
2008
102views more  ENTCS 2008»
13 years 7 months ago
Functorial Coalgebraic Logic: The Case of Many-sorted Varieties
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This p...
Alexander Kurz, Daniela Petrisan
MOBISYS
2006
ACM
14 years 7 months ago
Context-aware interactive content adaptation
Automatic adaptation of content for mobile devices is a challenging problem because optimal adaptation often depends on the usage semantics of content, as well as the context of u...
Iqbal Mohomed, Jim Chengming Cai, Sina Chavoshi, E...