Sciweavers

6431 search results - page 331 / 1287
» Model Building by Resolution
Sort
View
ENVSOFT
2007
93views more  ENVSOFT 2007»
15 years 6 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
PAMI
2008
182views more  PAMI 2008»
15 years 6 months ago
A Hierarchical Compositional Model for Face Representation and Sketching
This paper presents a hierarchical-compositional model of human faces, as a three-layer AND-OR graph to account for the structural variabilities over multiple resolutions. In the A...
Zijian Xu, Hong Chen, Song Chun Zhu, Jiebo Luo
198
Voted
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 5 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
MEMOCODE
2005
IEEE
16 years 8 days ago
Extended abstract: a race-free hardware modeling language
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
Patrick Schaumont, Sandeep K. Shukla, Ingrid Verba...
EURODAC
1994
IEEE
211views VHDL» more  EURODAC 1994»
15 years 10 months ago
Advanced simulation and modeling techniques for hardware quality verification of digital systems
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
S. Forno, Stephen Rochel