Sciweavers

306 search results - page 33 / 62
» How do I model state
Sort
View
TOG
2012
307views Communications» more  TOG 2012»
12 years 4 days ago
Ghost SPH for animating water
We propose a new ghost fluid approach for free surface and solid boundary conditions in Smoothed Particle Hydrodynamics (SPH) liquid simulations. Prior methods either suffer from...
Hagit Schechter, Robert Bridson
FM
2005
Springer
156views Formal Methods» more  FM 2005»
14 years 3 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
DATE
2009
IEEE
163views Hardware» more  DATE 2009»
14 years 4 months ago
Fixed points for multi-cycle path detection
—Accurate timing analysis is crucial for obtaining the optimal clock frequency, and for other design stages such as power analysis. Most methods for estimating propagation delay ...
Vijay D'Silva, Daniel Kroening
ATAL
2008
Springer
13 years 11 months ago
On the usefulness of opponent modeling: the Kuhn Poker case study
The application of reinforcement learning algorithms to Partially Observable Stochastic Games (POSG) is challenging since each agent does not have access to the whole state inform...
Alessandro Lazaric, Mario Quaresimale, Marcello Re...
ECAL
2005
Springer
14 years 3 months ago
Slime Mould and the Transition to Multicellularity: The Role of the Macrocyst Stage
The transition from unicellular to multicellular organisms is one of the mysteries of evolutionary biology. Individual cells must give up their rights to reproduction and reproduce...
John Bryden