Sciweavers

1368 search results - page 6 / 274
» Generalized Rook Polynomials
Sort
View
TIM
2010
144views Education» more  TIM 2010»
13 years 3 months ago
Extending Polynomial Chaos to Include Interval Analysis
Polynomial chaos theory (PCT) has been proven to be an efficient and effective way to represent and propagate uncertainty through system models and algorithms in general. In partic...
Antonello Monti, Ferdinanda Ponci, Marco Valtorta
CC
2010
Springer
112views System Software» more  CC 2010»
13 years 2 months ago
Random Cnf's are Hard for the Polynomial Calculus
We show a general reduction that derives lower bounds on degrees of polynomial calculus proofs of tautologies over any field of characteristic other than 2 from lower bounds for r...
Eli Ben-Sasson, Russell Impagliazzo
CORR
2011
Springer
126views Education» more  CORR 2011»
13 years 6 days ago
New Polynomial Classes for Logic-Based Abduction
We address the problem of propositional logic-based abduction, i.e., the problem of searching for a best explanation for a given propositional observation according to a given pro...
Bruno Zanuttini
SIAMCOMP
2010
172views more  SIAMCOMP 2010»
13 years 3 months ago
Deterministic Polynomial Time Algorithms for Matrix Completion Problems
We present new deterministic algorithms for several cases of the maximum rank matrix completion problem (for short matrix completion), i.e. the problem of assigning values to the ...
Gábor Ivanyos, Marek Karpinski, Nitin Saxen...
TEI
2010
ACM
142views Hardware» more  TEI 2010»
14 years 3 months ago
Physics on display: tangible graphics on hexagonal bezel-less screens
In this paper, we present a tiled display system made out of hexagonal cardboard screens with no visible bezel. Use of a bezel-less hexagonal form factor allows users to build lar...
Mike Rooke, Roel Vertegaal