2470 search results - page 95 / 494 » Liveness-Preserving Simulation Relations |
120
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
We present a novel formulation, called the WaMPDE, for solving systems with forced autonomous components. An important feature of the WaMPDE is its ability to capture frequency mo...
116
Voted
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We report computer-aided modeling and simulation of evolution in biological systems with living organisms as effect of extremum properties of classical statistical entro...
157
click to vote
ICAT
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. In this paper, MM-Model is presented for real-time simulation of 3D deformable objects on both global level and local region. This model consists of a deformable centerli...
137
click to vote
SMI
2005
IEEE
15 years 9 months ago
2005
IEEE
Curvature-based energy and forces are used in a broad variety of contexts, ranging from modeling of thin plates and shells to surface fairing and variational surface design. The a...
171
click to vote
SC
2005
ACM
15 years 9 months ago
2005
ACM
Terascale simulations produce data that is vast in spatial, temporal, and variable domains, creating a formidable challenge for subsequent analysis. Feature extraction as a data r...