Sciweavers

82 search results - page 15 / 17
» Solving Systems of Linear Algebraic Equations Using Quasiran...
Sort
View
82
Voted
COLT
2004
Springer
15 years 3 months ago
Regularization and Semi-supervised Learning on Large Graphs
We consider the problem of labeling a partially labeled graph. This setting may arise in a number of situations from survey sampling to information retrieval to pattern recognition...
Mikhail Belkin, Irina Matveeva, Partha Niyogi
87
Voted
ANTS
2006
Springer
105views Algorithms» more  ANTS 2006»
15 years 2 months ago
A Modular Method for Computing the Splitting Field of a Polynomial
We provide a modular method for computing the splitting field Kf of an integral polynomial f by suitable use of the byproduct of computation of its Galois group Gf by p-adic Staudu...
Guénaël Renault, Kazuhiro Yokoyama
87
Voted
DAC
2004
ACM
15 years 11 months ago
Sparse transformations and preconditioners for hierarchical 3-D capacitance extraction with multiple dielectrics
Capacitance extraction is an important problem that has been extensively studied. This paper presents a significant improvement for the fast multipole accelerated boundary element...
Shu Yan, Vivek Sarin, Weiping Shi
101
Voted
AMDO
2006
Springer
15 years 6 days ago
Interactive Soft Object Simulation with Quadratic Finite Elements
Abstract. We present a new method to simulate deformable volumetric objects interactively using finite elements. With quadratic basis functions and a non-linear strain tensor, we a...
Johannes Mezger, Wolfgang Straßer
SAS
1994
Springer
159views Formal Methods» more  SAS 1994»
15 years 2 months ago
Iterative Fixed Point Computation for Type-Based Strictness Analysis
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
Fritz Henglein