Sciweavers

1717 search results - page 81 / 344
» A Computable Spectral Theorem
Sort
View
133
Voted
TON
2010
141views more  TON 2010»
15 years 2 months ago
Weighted spectral distribution for internet topology analysis: theory and applications
Abstract—Comparing graphs to determine the level of underlying structural similarity between them is a widely encountered problem in computer science. It is particularly relevant...
Damien Fay, Hamed Haddadi, Andrew Thomason, Andrew...
CORR
2010
Springer
136views Education» more  CORR 2010»
15 years 1 months ago
An Inverse Power Method for Nonlinear Eigenproblems with Applications in 1-Spectral Clustering and Sparse PCA
Many problems in machine learning and statistics can be formulated as (generalized) eigenproblems. In terms of the associated optimization problem, computing linear eigenvectors a...
Matthias Hein, Thomas Bühler
NAR
2011
188views Computer Vision» more  NAR 2011»
14 years 7 months ago
PCDDB: the protein circular dichroism data bank, a repository for circular dichroism spectral and metadata
The Protein Circular Dichroism Data Bank (PCDDB) is a public repository that archives and freely distributes circular dichroism (CD) and synchrotron radiation CD (SRCD) spectral d...
Lee Whitmore, Benjamin Woollett, Andrew J. Miles, ...
TOG
2012
301views Communications» more  TOG 2012»
13 years 6 months ago
An analytic model for full spectral sky-dome radiance
We present a physically-based analytical model of the daytime sky. Based on the results of a first-principles brute force simulation of radiative transfer in the atmosphere, we u...
Lukas Hosek, Alexander Wilkie
DAC
1998
ACM
16 years 5 months ago
Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment
We describe the verification of the IM: a large, complex (12,000 gates and 1100 latches) circuit that detects and marks the boundaries between Intel architecture (IA-32) instructi...
Mark Aagaard, Robert B. Jones, Carl-Johan H. Seger