Sciweavers

2430 search results - page 170 / 486
» Computing Tutte Polynomials
Sort
View
CORR
2012
Springer
209views Education» more  CORR 2012»
14 years 13 days ago
Aggregation in Probabilistic Databases via Knowledge Compilation
This paper presents a query evaluation technique for positive relational algebra queries with aggregates on a representation system for probabilistic data based on the algebraic s...
Robert Fink, Larisa Han, Dan Olteanu
CCA
2009
Springer
15 years 11 months ago
Curves That Must Be Retraced
We exhibit a polynomial time computable plane curve Γ that has finite length, does not intersect itself, and is smooth except at one endpoint, but has the following property. For...
Xiaoyang Gu, Jack H. Lutz, Elvira Mayordomo
137
Voted
COCOA
2007
Springer
15 years 11 months ago
Fundamental Domains for Integer Programs with Symmetries
We define a fundamental domain for a linear programming relaxation of a combinatorial integer program which is symmetric under a group action. We then describe a straightforward w...
Eric J. Friedman
ISSAC
2007
Springer
162views Mathematics» more  ISSAC 2007»
15 years 11 months ago
Multiprocessed parallelism support in ALDOR on SMPs and multicores
We report on a high-level categorical parallel framework, written in the Aldor language, to support high-performance computer algebra on symmetric multi-processors and multicore p...
Marc Moreno Maza, Ben Stephenson, Stephen M. Watt,...
TLCA
2007
Springer
15 years 10 months ago
Predicative Analysis of Feasibility and Diagonalization
Abstract. Predicative analysis of recursion schema is a method to characterize complexity classes like the class of polynomial time functions. This analysis comes from the works of...
Jean-Yves Marion