Visualizing graphs containing many nodes and edges efficiently is quite challenging. Drawings of such graphs generally suffer from visual clutter induced by the large amount of ed...
Non-rigid shape matching is one of the most challenging fields in content-based 3D object retrieval. The aim of the SHREC 2010 - Shape Retrieval Contest of Non-rigid 3D Models is ...
Zhouhui Lian, Afzal Godil, Thomas Fabry, Takahiko ...
Current large distributed systems allow users to share and trade resources. In cloud computing, users purchase different types of resources from one or more resource providers usi...
In the numerical solution of large-scale eigenvalue problems, Davidson-type methods are an increasingly popular alternative to Krylov eigensolvers. The main motivation is to avoid ...
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...