Sciweavers

16666 search results - page 301 / 3334
» Descriptive and Computational Complexity
Sort
View
CC
2007
Springer
121views System Software» more  CC 2007»
15 years 6 months ago
If NP Languages are Hard on the Worst-Case, Then it is Easy to Find Their Hard Instances
We prove that if NP ⊆ BPP, i.e., if SAT is worst-case hard, then for every probabilistic polynomial-time algorithm trying to decide SAT, there exists some polynomially samplable ...
Dan Gutfreund, Ronen Shaltiel, Amnon Ta-Shma
GRID
2000
Springer
15 years 10 months ago
An Advanced User Interface Approach for Complex Parameter Study Process Specification on the Information Power Grid
The creation of parameter study suites has recently become a more challenging problem as the parameter studies have become multi-tiered and the computational environment has becom...
Maurice Yarrow, Karen M. McCann, Rupak Biswas, Rob...
DAC
2000
ACM
16 years 7 months ago
Analysis of composition complexity and how to obtain smaller canonical graphs
Jawahar Jain, K. Mohanram, Dinos Moundanos, Ingo W...
DAC
2001
ACM
16 years 7 months ago
Scalable Hybrid Verification of Complex Microprocessors
Maher N. Mneimneh, Fadi A. Aloul, Christopher T. W...
RECOMB
2008
Springer
16 years 7 months ago
Reconstructing the Evolutionary History of Complex Human Gene Clusters
Abstract. Clusters of genes that evolved from single progenitors via repeated segmental duplications present significant challenges to the generation of a truly complete human geno...
Adam C. Siepel, Eric D. Green, Giltae Song, Tom&aa...