219 search results - page 22 / 44 » Model Order Reduction Techniques for Linear Systems with Lar... |
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
TOG
2012
11 years 10 months ago
2012
We present a parallel iterative rigid body solver that avoids common artifacts at low iteration counts. In large or real-time simulations, iteration is often terminated before con...
MSV
2007
13 years 9 months ago
2007
Abstract - In this paper, an essential oil extraction system with self-refilling system is modeled based on inputoutput data collected from a dedicated acquisition system. The ARMA...
CGI
2000
IEEE
14 years 5 days ago
2000
IEEE
Realistic animation of soft objects such as cloth is essential for plausible character animation. Many techniques have been proposed for the simulation of soft objects, and most o...
PE
2010
Springer
13 years 6 months ago
2010
Springer
Solution of large sparse linear fixed-point problems lies at the heart of many important performance analysis calculations. These calculations include steady-state, transient and...