Sciweavers

742 search results - page 19 / 149
» A knowledge-based approach to automated simulation model ada...
Sort
View
ICRA
2007
IEEE
126views Robotics» more  ICRA 2007»
14 years 2 months ago
A Force-Feedback Algorithm for Adaptive Articulated-Body Dynamics Simulation
— This paper introduces a novel algorithm for haptic interaction with an adaptive simulation of articulated-body dynamics. Our algorithm has a multi-threaded structure, which all...
Sandy Morin, Stephane Redon
DFG
2004
Springer
14 years 10 days ago
Modeling and Formal Verification of Production Automation Systems
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wo...
PG
2003
IEEE
14 years 1 months ago
Adaptive Grouping and Subdivision for Simulating Hair Dynamics
We present a novel approach for adaptively grouping and subdividing hair using discrete level-of-detail (LOD) representations. The set of discrete LODs include hair strands, clust...
Kelly Ward, Ming C. Lin
WWW
2006
ACM
14 years 9 months ago
Adaptive web sites: user studies and simulation
Adaptive web sites have been proposed to enhance ease of navigation and information retrieval. A variety of approaches are described in the literature, but consideration of interf...
Doug Warner, Stephen D. Durbin, J. Neal Richter, Z...
WSC
2007
13 years 11 months ago
Ant-based approach for determining the change of measure in importance sampling
Importance Sampling is a potentially powerful variance reduction technique to speed up simulations where the objective depends on the occurrence of rare events. However, it is cru...
Poul E. Heegaard, Werner Sandmann