179 search results - page 18 / 36 » Space Bounded Computations: Review And New Separation Result... |
106
click to vote
FMCAD
2000
Springer
15 years 2 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
128
click to vote
SPIRE
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Colored range queries are a well-studied topic in computational geometry and database research that, in the past decade, have found exciting applications in information r...
SIGGRAPH
1994
ACM
15 years 2 months ago
1994
ACM
We present an approach for accelerating hierarchical radiosity by clustering objects. Previous approaches constructed effective hierarchies by subdividing surfaces, but could not ...
STOC
2010
ACM
15 years 3 months ago
2010
ACM
We propose a new framework for discussing computational complexity of problems involving uncountably many objects, such as real numbers, sets and functions, that can be represente...
SDM
2009
SIAM
15 years 7 months ago
2009
SIAM
Data stream analysis frequently relies on identifying correlations and posing conditional queries on the data after it has been seen. Correlated aggregates form an important examp...