Advanced Search
Now showing items 1-10 of 15
Gradual program verification
(Springer Verlag, 2018)
On the approximation ratio of Lempel-Ziv parsing
(Springer Verlag, 2018)
A data-driven graph schema
(CEUR-WS, 2018)
What should entity linking link?
(CEUR-WS, 2018)
Computing coverage kernels under restricted settings
(Springer Verlag, 2018)
MIMO millimeter-wave channel estimation using coalitional games
(CEUR-WS, 2018)