413 search results - page 14 / 83 » Lattice Boltzmann Method |
VMCAI
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
ICFCA
2010
Springer
14 years 1 months ago
2010
Springer
This paper discusses results from an experimental study of concept neighbourhoods in WordNet and Roget’s Thesaurus. The general aim of this research is to determine ways in which...
VISSYM
2003
13 years 9 months ago
2003
Volumetric samples on Cartesian lattices are less efficient than samples on body-centred cubic (BCC) lattices. We show how to construct isosurfaces on BCC lattices using several ...
VC
2008
13 years 8 months ago
2008
The paper presents a 2D or 3D shape deformation method which incorporates global and local stiffness controls. First, a geometric object is embedded into a regular lattice and then...
CW
2002
IEEE
14 years 1 months ago
2002
IEEE
Developing intuitive and efficient methods for shape editing is one of the most important areas in computer graphics, and free-form deformation (FFD), which is one of such methods...