1427 search results - page 175 / 286 » Optimization by Simulation Metamodelling Methods |
TODAES
2008
13 years 8 months ago
2008
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
ACCV
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. This paper proposes a method for phase registration of a single non-parametric quasi-periodic signal. After a short-term period has been detected for each sample by norma...
JMLR
2010
13 years 4 months ago
2010
An exceedingly large number of scientific and engineering fields are confronted with the need for computer simulations to study complex, real world phenomena or solve challenging ...
ANSS
2006
IEEE
14 years 3 months ago
2006
IEEE
The explosive growth of multimedia and other bandwidth intensive applications has resulted a rapid increase in the size of the traffic loads that needs to be supported by modern n...
IMR
2003
Springer
14 years 2 months ago
2003
Springer
Motivated by Lagrangian simulation of elastic deformation, we propose a new tetrahedral mesh generation algorithm that produces both high quality elements and a mesh that is well ...