4327 search results - page 778 / 866 » Web presentation system using RST events |
117
click to vote
CCGRID
2005
IEEE
15 years 1 months ago
2005
IEEE
Given the heterogeneous nature of biological data and their intensive use in many tools, in this paper we propose a semantic data access and integration (DAI) service, based on th...
CORR
2006
Springer
14 years 12 months ago
2006
Springer
: A good organization model of multiple mobile robot should be able to improve the efficiency of the system, reduce the complication of robot interactions, and detract the difficul...
JUCS
2006
14 years 12 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
109
click to vote
IJSWIS
2007
14 years 11 months ago
2007
Ontology alignment foundations are hard to find in the literature. The abstract nature of the topic and the diverse means of practice make it difficult to capture it in a universal...
112
click to vote
IMCS
2007
14 years 11 months ago
2007
Setting up runtime security policies as required for firewalls or as envisioned by policy languages for the Semantic Web is a difficult task, especially for lay users who have l...