366 search results - page 16 / 74 » Optimizing the Evaluation of XPath Using Description Logics |
190
click to vote
DLOG
2011
14 years 7 months ago
2011
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...
172
click to vote
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
135
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
Active shape models are a powerful and widely used tool to interpret complex image data. By building models of shape variation they enable search algorithms to use a priori knowle...
154
click to vote
SIGMOD
2004
ACM
16 years 4 months ago
2004
ACM
The prevalent use of XML highlights the need for a generic, flexible access-control mechanism for XML documents that supports efficient and secure query access, without revealing ...
148
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...