In this paper, we describe the notion of a semantic information portal. This is a community information portal that exploits the semantic web standards to improve structure, exten...
Literature on information integration across databases tacitly assumes that the data in each database can be revealed to the other databases. However, there is an increasing need ...
Rakesh Agrawal, Alexandre V. Evfimievski, Ramakris...
We report on work in progress regarding a foundation for the notion of meta-variable in logical frameworks and type theories. Our proposal is to treat meta-variables as modal varia...
Aleksandar Nanevski, Brigitte Pientka, Frank Pfenn...
Using a networked infrastructure of easily available sensors and context-processing components, we are developing applications for the support of workplace interactions. Notions o...
Chordal graphs, also called triangulated graphs, are important in algorithmic graph theory. In this paper we generalise the definition of chordal graphs to the class of directed ...