Sciweavers

41 search results - page 6 / 9
» Spectrum of Variable-Random Trees
Sort
View
ICCAD
2000
IEEE
132views Hardware» more  ICCAD 2000»
13 years 10 months ago
Frequency Domain Analysis of Switching Noise on Power Supply Network
In this paper, we propose an approach for the analysis of power supply noise in the frequency domain for power/ground (P/G) networks of tree topologies. We model the P/G network a...
Shiyou Zhao, Kaushik Roy, Cheng-Kok Koh
COCO
2005
Springer
72views Algorithms» more  COCO 2005»
13 years 11 months ago
Toward a Model for Backtracking and Dynamic Programming
We propose a model called priority branching trees (pBT ) for backtracking and dynamic programming algorithms. Our model generalizes both the priority model of Borodin, Nielson an...
Michael Alekhnovich, Allan Borodin, Joshua Buresh-...
IGARSS
2009
13 years 3 months ago
Within- and Between-class Variability of Spectrally Similar Tree Species
In this paper, a comparison is made through evaluating the withinand between-class species variability for the original, the first derivative and second derivative spectra. For ea...
Pravesh Debba, Moses Azong Cho, Renaud Mathieu
NIPS
2004
13 years 7 months ago
An Investigation of Practical Approximate Nearest Neighbor Algorithms
This paper concerns approximate nearest neighbor searching algorithms, which have become increasingly important, especially in high dimensional perception areas such as computer v...
Ting Liu, Andrew W. Moore, Alexander G. Gray, Ke Y...
CAV
2007
Springer
114views Hardware» more  CAV 2007»
13 years 10 months ago
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...