Advanced Search
Now showing items 1-10 of 15
Gradual program verification
(Springer Verlag, 2018)
Computing coverage kernels under restricted settings
(Springer Verlag, 2018)
What should entity linking link?
(CEUR-WS, 2018)
Evaluation of MAC protocols for IoT satellite systems
(CEUR-WS, 2018)
Canonicalisation of monotone SPARQL queries
(Springer Verlag, 2018)
GraFa: Scalable faceted browsing for RDF graphs
(Springer Verlag, 2018)
WISP: Weighted shortest paths for RDF graphs
(CEUR-WS, 2018)
Certain answers for SPARQL with blank nodes
(Springer Verlag, 2018)