Sciweavers

13306 search results - page 470 / 2662
» Theoretical Computer Science
Sort
View
STACS
2010
Springer
16 years 2 months ago
Construction Sequences and Certifying 3-Connectedness
Given two 3-connected graphs G and H, a construction sequence constructs G from H (e. g. from the K4) with three basic operations, called the Barnette-Grünbaum operations. These...
Jens M. Schmidt
CCA
2000
Springer
16 years 2 hour ago
The Uniformity Conjecture
The Exact Geometric Computing approach requires a zero test for numbers which are built up using standard operations starting with the natural numbers. The uniformity conjecture, ...
Daniel Richardson
ACSC
2000
IEEE
16 years 2 days ago
Developing Middleware for Web-Aware Systems: Lessons Learned
The World Wide Web has transformed itself in the last few years from a simple state-less multimedia platform to a global distributed processing environment. As Web computing gains...
Nikola B. Serbedzija
CSR
2009
Springer
15 years 8 months ago
Approximability of the Maximum Solution Problem for Certain Families of Algebras
We study the approximability of the maximum solution problem. This problem is an optimisation variant of the constraint satisfaction problem and it captures a wide range of interes...
Peter Jonsson, Johan Thapper
STACS
2000
Springer
15 years 11 months ago
Multi-linearity Self-Testing with Relative Error
We investigate self-testing programs with relative error by allowing error terms proportional to the function to be computed. Until now, in numerical computation, error terms were ...
Frédéric Magniez