876 search results - page 42 / 176 » New Results for the Martin Polynomial |
EUROGRAPHICS
2010
Eurographics
14 years 3 months ago
2010
Eurographics
Higher-order finite element methods have emerged as an important discretization scheme for simulation. They are increasingly used in contemporary numerical solvers, generating a ...
FSTTCS
2010
Springer
13 years 6 months ago
2010
Springer
In the Connected Dominating Set problem we are given as input a graph G and a positive integer k, and are asked if there is a set S of at most k vertices of G such that S is a dom...
ECCV
2006
Springer
14 years 10 months ago
2006
Springer
Efficient direct solutions for the determination of a cylinder from points are presented. The solutions range from the well known direct solution of a quadric to the minimal soluti...
SOFSEM
2010
Springer
14 years 5 months ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, we investigate the impact of interconnect and device process variations on voltage fluctuations in power grids. We consider random variations in the power grid’s...