Sciweavers

22588 search results - page 206 / 4518
» On simulation model complexity
Sort
View
SIGGRAPH
2010
ACM
15 years 8 months ago
Subspace self-collision culling
We show how to greatly accelerate self-collision detection (SCD) for reduced deformable models. Given a triangle mesh and a set of deformation modes, our method precomputes Subspa...
Jernej Barbic, Doug L. James
121
Voted
WSC
2001
15 years 4 months ago
Global random optimization by simultaneous perturbation stochastic approximation
We examine the theoretical and numerical global convergence properties of a certain "gradient free" stochastic approximation algorithm called the "simultaneous pertu...
John L. Maryak, Daniel C. Chin
119
Voted
WECWIS
2007
IEEE
130views ECommerce» more  WECWIS 2007»
15 years 9 months ago
Improved Rules for the Resource Allocation Design
Iterative Combinatorial Auctions (ICA) have been getting increasing attention both from researchers and in practice as they can increase efficiency of complex markets with substi...
Pasha Shabalin, Bernd Laqua, Alexander Pikovsky
108
Voted
ICFEM
2007
Springer
15 years 9 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
162
Voted
LICS
2010
IEEE
15 years 1 months ago
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
Vincent Danos, Jérôme Feret, Walter F...