Sciweavers

1565 search results - page 12 / 313
» Interactive modeling of trees by using growth simulation
Sort
View
DSN
2007
IEEE
15 years 3 months ago
Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoe...
DATE
2003
IEEE
128views Hardware» more  DATE 2003»
15 years 2 months ago
Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
Wei Qin, Sharad Malik
VR
1999
IEEE
151views Virtual Reality» more  VR 1999»
15 years 1 months ago
A Framework for Fast and Accurate Collision Detection for Haptic Interaction
We present a framework for fast and accurate collision detection for haptic interaction with polygonal models. Given a model, we pre-compute a hybrid hierarchical representation, ...
Arthur D. Gregory, Ming C. Lin, Stefan Gottschalk,...
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
14 years 7 months ago
The How and Why of Interactive Markov Chains
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
Holger Hermanns, Joost-Pieter Katoen
CGF
2011
14 years 1 months ago
Fruit Senescence and Decay Simulation
Aging and imperfections provide important visual cues for realism. We present a novel physically-based approach for simulating the biological aging and decay process in fruits. Th...
Joseph T. Kider Jr., Samantha Raja, Norman I. Badl...