This paper discusses the problem of content adaptation for mobile devices. The adaptation considers the context of the client and also the environment where the client request is ...
To achieve sharing and reuse for sustainable development, documents are semantically interrelated by ontologies, specified formally using the specification language Casl. The spe...
A computationally relevant theory of lexical semantics must take into consideration both the form and the content of three different static knowledge sources -- the lexicon, the o...
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...
Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tas...
Nowadays maintenance of database management systems (DBMSs) often requires offline operations for enhancement of functionality or security updates. This hampers the availability of...
Florian Irmert, Thomas Fischer, Frank Lauterwald, ...