Sciweavers

1717 search results - page 49 / 344
» A Computable Spectral Theorem
Sort
View
128
Voted
ICCS
2007
Springer
15 years 7 months ago
Fourier Spectral Solver for the Incompressible Navier-Stokes Equations with Volume-Penalization
In this study we use a fast Fourier spectral technique to simulate the Navier-Stokes equations with no-slip boundary conditions. This is enforced by an immersed boundary technique ...
G. H. Keetels, H. J. H. Clercx, G. J. F. van Heijs...
149
Voted
SPC
2005
Springer
15 years 9 months ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...
165
Voted
ICPR
2008
IEEE
15 years 10 months ago
Kernel functions for robust 3D surface registration with spectral embeddings
Registration of 3D surfaces is a critical step for shape analysis. Recent studies show that spectral representations based on intrinsic pairwise geodesic distances between points ...
Xiuwen Liu, Arturo Donate, Matthew Jemison, Washin...
107
Voted
ICRA
2007
IEEE
126views Robotics» more  ICRA 2007»
15 years 10 months ago
Incremental Spectral Clustering and Its Application To Topological Mapping
Abstract— This paper presents a novel use of spectral clustering algorithms to support cases where the entries in the affinity matrix are costly to compute. The method is increm...
Christoffer Valgren, Tom Duckett, Achim J. Lilient...
SAC
2006
ACM
15 years 10 months ago
On the use of spectral filtering for privacy preserving data mining
Randomization has been a primary tool to hide sensitive private information during privacy preserving data mining.The previous work based on spectral filtering, show the noise ma...
Songtao Guo, Xintao Wu