Sciweavers

17 search results - page 4 / 4
» Oracle Separation in the Non-uniform Model
Sort
View
DEBU
2008
136views more  DEBU 2008»
13 years 4 months ago
Towards a Unified Declarative and Imperative XQuery Processor
Since the birth of XML, the processing of XML query languages like XQuery/XQueryP has been widely researched in the academic and industrial communities. Most of the approaches con...
Zhen Hua Liu, Anguel Novoselsky, Vikas Arora
ECCC
2008
168views more  ECCC 2008»
13 years 4 months ago
Algebrization: A New Barrier in Complexity Theory
Any proof of P = NP will have to overcome two barriers: relativization and natural proofs. Yet over the last decade, we have seen circuit lower bounds (for example, that PP does n...
Scott Aaronson, Avi Wigderson