3600 search results - page 403 / 720 » The settling-time reducibility ordering |
155
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
Recent years have seen growth in the number of algorithms designed to solve challenging simulation-based nonlinear optimization problems. One such algorithm is the Trust-Region Par...
164
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
Current mathematical modeling methods for the spreading of infectious diseases are too simplified and do not scale well. We present the Simulator of Epidemic Evolution in Complex ...
191
click to vote
ISVC
2009
Springer
16 years 1 months ago
2009
Springer
Smooth trivariate splines on uniform tetrahedral partitions are well suited for high-quality visualization of isosurfaces from scalar volumetric data. We propose a novel rendering ...
161
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
161
click to vote
OTM
2009
Springer
16 years 1 months ago
2009
Springer
Although epidemic or gossip-based multicast is a robust and scalable approach to reliable data dissemination, its inherent redundancy results in high resource consumption on both ...