13603 search results - page 52 / 2721 » On the Computational Complexity of Cut-Reduction |
FOCS
2010
IEEE
14 years 10 months ago
2010
IEEE
It is widely suspected that Erdos-R
IWPEC
2010
Springer
14 years 9 months ago
2010
Springer
ACMSE
2000
ACM
15 years 4 months ago
2000
ACM
We present the background and justi cation for a new approachto studying computation and computational complexity. We focus on categories of problems and categories of solutions w...
VISUALIZATION
2002
IEEE
15 years 4 months ago
2002
IEEE
We report on using computed tomography (CT) as a model acquisition tool for complex objects in computer graphics. Unlike other modeling and scanning techniques the complexity of t...