2211 search results - page 34 / 443 » Robustness of Model-Based Simulations |
FORMATS
2006
Springer
14 years 1 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
WSC
2007
14 years 6 days ago
2007
This article gives an overview of a framework for automatically generating large-scale simulation models from a domain specific problem definition data schema, here semiconductor ...
TOG
2002
13 years 9 months ago
2002
We present an algorithm to efficiently and robustly process collisions, contact and friction in cloth simulation. It works with any technique for simulating the internal dynamics ...
ECCV
2004
Springer
14 years 3 months ago
2004
Springer
Computer vision tasks often require the robust fit of a model to some data. In a robust fit, two major steps should be taken: i) robustly estimate the parameters of a model, and ii...
WSC
2001
13 years 11 months ago
2001
This paper describes the architecture and potentials of Simone. Simone is a simulation environment to generate, simulate and analyze complex and large scale train networks. The pu...