Advanced Search
Now showing items 1-10 of 14
A gradual interpretation of union types
(Springer, 2017)
Efficient compression and indexing of trajectories
(Springer, 2017)
Long term behavior of dynamic equilibria in fluid queuing networks
(Springer, 2017)
A formal framework for comparing linked data fragments
(Springer, 2017)
Fast and compact planar embeddings
(Springer, 2017)
Mobile audio games accessibility evaluation for users who are blind
(Springer, 2017)
Network congestion games are robust to variable demand
(Springer, 2017)
LZ78 compression in low main memory space
(Springer, 2017)
A self-index on block trees
(Springer, 2017)