We present different kernels based on Lattice-Boltzmann methods for the solution of the twodimensional Shallow Water and Navier-Stokes equations on fully structured lattices. The...
Most multimedia information retrieval systems use an indexing scheme to speed up similarity search. The index aims to discard large portions of the data collection at query time. ...
— Euler diagrams are frequently used for visualizing information about collections of objects and form an important component of various visual languages. Properties possessed by...
Peter Rodgers, Gem Stapleton, John Howse, Leishi Z...
Six Mediterranean countries are participating in the "Mare Nostrum" project: "A Heritage Trail along the Phoenician maritime routes and through the historic port cit...
Grazia Tucci, Francesco Algostino, Laura Bucalossi...
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
S. Akshay, Paul Gastin, Madhavan Mukund, K. Naraya...