For many centuries, philosophers and scientists have pondered the origins and nature of human intuitions about the properties of points, lines, and figures on the Euclidean plane,...
Since navigational aspects of XPath correspond to first-order definability, it has been proposed to use the analogy with the very successful technique of translating LTL into aut...
The paper reviews information and communication technologies as new tools in cultural representation and knowledge management, addresses issues of persuasion and engagement with t...
In this paper, we present a query system that has been implemented in a practical biological database - GPCRDB. Distinguishing features of this system include: smart query relaxat...
This research investigates a unique Indexing Structure and Navigational Interface which integrates (1) ontology-driven knowledge-base (2) statistically derived indexing parameters...