Sciweavers

13306 search results - page 275 / 2662
» Theoretical Computer Science
Sort
View
FOCS
2004
IEEE
15 years 10 months ago
Random Edge Can Be Exponential on Abstract Cubes
DGE can be exponential on abstract cubes Jir
Jirí Matousek, Tibor Szabó
MFCS
2000
Springer
15 years 10 months ago
0-1 Laws for Fragments of Existential Second-Order Logic: A Survey
The probability of a property on the collection of all finite relational structures is the limit as
Phokion G. Kolaitis, Moshe Y. Vardi
CSE
2009
IEEE
15 years 7 months ago
Efficient Translation of Algorithmic Kernels on Large-Scale Multi-cores
In this paper we present the design of a novel embedded processor architecture (which we call a
Amit Pande, Joseph Zambreno
CAD
2008
Springer
15 years 6 months ago
Geometric Hermite interpolation with circular precision
We present several Hermite-type interpolation methods for rational cubics. In case the input data come from a circular arc, the rational cubic will reproduce it.
Gerald E. Farin
CSE
2008
IEEE
15 years 6 months ago
Provenance in High-Energy Physics Workflows
Andrew Dolgert, Lawrence Gibbons, Christopher D. J...