Sciweavers

10054 search results - page 1787 / 2011
» On the Complexity of Function Learning
Sort
View
SAMOS
2010
Springer
15 years 2 months ago
Cycle-accurate performance modelling in an ultra-fast just-in-time dynamic binary translation instruction set simulator
—Instruction set simulators (ISS) are vital tools for compiler and processor architecture design space exploration and verification. State-of-the-art simulators using just-in-ti...
Igor Böhm, Björn Franke, Nigel P. Topham
SAS
2010
Springer
149views Formal Methods» more  SAS 2010»
15 years 2 months ago
Boxes: A Symbolic Abstract Domain of Boxes
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
Arie Gurfinkel, Sagar Chaki
SIAMSC
2010
104views more  SIAMSC 2010»
15 years 2 months ago
A New Sobolev Gradient Method for Direct Minimization of the Gross--Pitaevskii Energy with Rotation
Abstract. In this paper we improve traditional steepest descent methods for the direct minimization of the Gross-Pitaevskii (GP) energy with rotation at two levels. We first defi...
Ionut Danaila, Parimah Kazemi
SMI
2010
IEEE
152views Image Analysis» more  SMI 2010»
15 years 2 months ago
Direct-Product Volumetric Parameterization of Handlebodies via Harmonic Fields
—Volumetric parameterization plays an important role for geometric modeling. Due to the complicated topological nature of volumes, it is much more challenging than the surface ca...
Jiazhi Xia, Ying He 0001, Xiaotian Yin, Shuchu Han...
TASLP
2010
102views more  TASLP 2010»
15 years 2 months ago
Representing Musical Sounds With an Interpolating State Model
—A computationally efficient algorithm is proposed for modeling and representing time-varying musical sounds. The aim is to encode individual sounds and not the statistical prop...
Anssi Klapuri, Tuomas Virtanen
« Prev « First page 1787 / 2011 Last » Next »