Sciweavers

5234 search results - page 116 / 1047
» Method Components - Rationale Revealed
Sort
View
SIAMNUM
2011
252views more  SIAMNUM 2011»
14 years 4 months ago
Analysis and Computation of Compatible Least-Squares Methods for div-curl Equations
We develop and analyze least-squares finite element methods for two complementary div-curl elliptic boundary value problems. The first one prescribes the tangential component of ...
Pavel B. Bochev, Kara Peterson, Christopher M. Sie...
ICASSP
2011
IEEE
14 years 1 months ago
Region-based image fusion using a combinatory Chebyshev-ICA method
The aim of this paper is to provide an algorithm for image fusion which combines the techniques of Chebyshev polynomial (CP) approximation and independent component analysis (ICA)...
Zaid Omar, Nikolaos Mitianoudis, Tania Stathaki
ICML
2003
IEEE
15 years 10 months ago
The Pre-Image Problem in Kernel Methods
In this paper, we address the problem of finding the pre-image of a feature vector in the feature space induced by a kernel. This is of central importance in some kernel applicatio...
James T. Kwok, Ivor W. Tsang
INFORMATICALT
2007
88views more  INFORMATICALT 2007»
14 years 10 months ago
The Extension of the Van Der Pauw Method to Anisotropic Media
Abstract. The method for calculating the specific conductivity tensor of an anisotropically conductive medium, proposed in this paper, distinguishes itself by the simplicity of ph...
Jonas Kleiza, Mifodijus Sapagovas, Vytautas Kleiza
TPHOL
2007
IEEE
15 years 4 months ago
Building Formal Method Tools in the Isabelle/Isar Framework
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
Makarius Wenzel, Burkhart Wolff