1051 search results - page 159 / 211 » Single Run Optimization Using the Reverse-Simulation Method |
107
Voted
ICCS
2003
Springer
15 years 7 months ago
2003
Springer
The Earth’s tectonic plates are strong, viscoelastic shells which make up the outermost part of a thermally convecting, predominantly viscous layer; at the boundaries between pla...
120
Voted
FCCM
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper proposes a high performance least square solver on FPGAs using the Cholesky decomposition method. Our design can be realized by iteratively adopting a single triangular...
133
Voted
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Automated theorem provers (ATPs) struggle to solve problems with large sets of possibly superfluous axiom. Several algorithms have been developed to reduce the number of ...
142
Voted
ICML
2010
IEEE
15 years 18 days ago
2010
IEEE
This paper proposes a new method for comparing clusterings both partitionally and geometrically. Our approach is motivated by the following observation: the vast majority of previ...
130
Voted
TVCG
2012
13 years 5 months ago
2012
—We present a new approach for time-varying graph drawing that achieves both spatiotemporal coherence and multifocus+context visualization in a single framework. Our approach uti...