Sciweavers

2430 search results - page 131 / 486
» Computing Tutte Polynomials
Sort
View
FOCS
1992
IEEE
15 years 8 months ago
Reconstructing Algebraic Functions from Mixed Data
We consider a variant of the traditional task of explicitly reconstructing algebraic functions from black box representations. In the traditional setting for such problems, one is ...
Sigal Ar, Richard J. Lipton, Ronitt Rubinfeld, Mad...
CORR
2006
Springer
91views Education» more  CORR 2006»
15 years 5 months ago
Quasi-friendly sup-interpretations
In a previous paper [16], the sup-interpretation method was proposed as a new tool to control memory resources of first order functional programs with pattern matching by static an...
Jean-Yves Marion, Romain Péchoux
STOC
2012
ACM
242views Algorithms» more  STOC 2012»
13 years 7 months ago
Separating multilinear branching programs and formulas
This work deals with the power of linear algebra in the context of multilinear computation. By linear algebra we mean algebraic branching programs (ABPs) which are known to be com...
Zeev Dvir, Guillaume Malod, Sylvain Perifel, Amir ...
ICRA
2009
IEEE
106views Robotics» more  ICRA 2009»
15 years 11 months ago
Oriented bounding surfaces with at most six common normals
— We present a new type of oriented bounding surfaces, which is particularly well suited for shortest distance computations. The bounding surfaces are obtained by considering sur...
Margot Rabl, Laureano González-Vega, Bert J...
GD
2009
Springer
15 years 9 months ago
On Planar Supports for Hypergraphs
A graph G is a support for a hypergraph H = (V, S) if the vertices of G correspond to the vertices of H such that for each hyperedge Si ∈ S the subgraph of G induced by Si is co...
Kevin Buchin, Marc J. van Kreveld, Henk Meijer, Be...