Sciweavers

494 search results - page 39 / 99
» Distributed Resolution for ALC
Sort
View
ATAL
2010
Springer
13 years 8 months ago
An architecture for modular distributed simulation with agent-based models
Agent-based simulations are an increasingly popular means of exploring and understanding complex social systems. In order to be useful, these simulations must capture a range of a...
David Scerri, Alexis Drogoul, Sarah L. Hickmott, L...
ENVSOFT
2007
93views more  ENVSOFT 2007»
13 years 7 months ago
A distributed model of water balance in the Motueka catchment, New Zealand
A distributed water balance model is used to simulate the soil moisture regime of the Motueka catchment. The model is a major simplification of the Distributed HydrologyeVegetati...
Robbie M. Andrew, John R. Dymond
FGCS
2006
148views more  FGCS 2006»
13 years 7 months ago
Personal Varrier: Autostereoscopic virtual reality display for distributed scientific visualization
As scientific data sets increase in size, dimensionality, and complexity, new high resolution, interactive, collaborative networked display systems are required to view them in re...
Tom Peterka, Daniel J. Sandin, Jinghua Ge, Javier ...
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
13 years 6 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
MICCAI
2010
Springer
13 years 6 months ago
Model-Free, Regularized, Fast, and Robust Analytical Orientation Distribution Function Estimation
High Angular Resolution Imaging (HARDI) can better explore the complex micro-structure of white matter compared to Diffusion Tensor Imaging (DTI). Orientation Distribution Functio...
Jian Cheng, Aurobrata Ghosh, Rachid Deriche, Tianz...