1661 search results - page 130 / 333 » Advanced carving techniques |
JSAT
2008
13 years 10 months ago
2008
We describe the organization and report on the results of the First and Second Max-SAT Evaluations, which were organized as affiliated events of the 2006 and 2007 editions of the ...
JIKM
2006
13 years 10 months ago
2006
In the development of location-based services, various location-sensing techniques and experimental/commercial services have been used. However, conventional location-based service...
ENGL
2007
13 years 10 months ago
2007
— This paper presents an interactive method of modelling the various kind of fluid based on Smoothed Particle Hydrodynamics (SPH) in modelling and simulating the gas flow with fr...
TASE
2008
IEEE
13 years 10 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
BC
2005
13 years 10 months ago
2005
Neural field models of firing rate activity have had a major impact in helping to develop an understanding of the dynamics seen in brain slice preparations. These models typically...