336 search results - page 33 / 68 » Implementing CCS in Maude |
SGP
2007
13 years 10 months ago
2007
Modeling tasks, such as surface deformation and editing, can be analyzed by observing the local behavior of the surface. We argue that defining a modeling operation by asking for ...
VISSYM
2007
13 years 10 months ago
2007
This paper presents an algorithm for drawing a sequence of graphs online. The algorithm strives to maintain the global structure of the graph and thus the user's mental map, ...
VISSYM
2007
13 years 10 months ago
2007
While isosurfaces of anisotropy measures for data from diffusion tensor magnetic resonance imaging (DT-MRI) are known to depict major anatomical structures, the anisotropy metric ...
EGITALY
2006
13 years 9 months ago
2006
This paper presents a portable compression algorithm applied to raster data images properly triangulated by using DDT (Data Dependent Triangulation). In particular the input sourc...
VISSYM
2004
13 years 9 months ago
2004
Climateprediction.net aims to harness the spare CPU cycles of a million individual users' PCs to run a massive ensemble of climate simulations using an up-to-date, full-scale...