Sciweavers

602 search results - page 82 / 121
» NetRaker suite: a demonstration
Sort
View
DAC
2009
ACM
14 years 9 months ago
A robust and efficient harmonic balance (HB) using direct solution of HB Jacobian
In this paper we introduce a new method of performing direct solution of the harmonic balance Jacobian. For examples with moderate number of harmonics and moderate to strong nonli...
Amit Mehrotra, Abhishek Somani
DAC
2008
ACM
14 years 9 months ago
Functional test selection based on unsupervised support vector analysis
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
Onur Guzey, Li-C. Wang, Jeremy R. Levitt, Harry Fo...
MICCAI
2004
Springer
14 years 9 months ago
Progressive Attenuation Fields: Fast 2D-3D Image Registration Without Precomputation
This paper introduces the progressive attenuation field (PAF), a method to speed up computation of digitally reconstructed radiograph (DRR) images during intensity-based 2D-3D regi...
Torsten Rohlfing, Daniel B. Russakoff, Joachim Den...
ICML
2007
IEEE
14 years 9 months ago
A recursive method for discriminative mixture learning
We consider the problem of learning density mixture models for classification. Traditional learning of mixtures for density estimation focuses on models that correctly represent t...
Minyoung Kim, Vladimir Pavlovic
SIGSOFT
2005
ACM
14 years 9 months ago
SOBER: statistical model-based bug localization
Automated localization of software bugs is one of the essential issues in debugging aids. Previous studies indicated that the evaluation history of program predicates may disclose...
Chao Liu 0001, Jiawei Han, Long Fei, Samuel P. Mid...