Sciweavers

1507 search results - page 12 / 302
» Separating Complexity Classes Using Structural Properties
Sort
View
JSYML
2000
54views more  JSYML 2000»
15 years 2 months ago
Stationary Sets and Infinitary Logic
Let K0 be the class of structures , <, A , where A is disjoint from a club, and let K1 be the class of structures , <, A , where A contains a club. We prove that if = &...
Saharon Shelah, Jouko A. Väänänen
120
Voted
BMCBI
2006
102views more  BMCBI 2006»
15 years 2 months ago
Prediction of protein structural class with Rough Sets
Background: A new method for the prediction of protein structural classes is constructed based on Rough Sets algorithm, which is a rule-based data mining method. Amino acid compos...
Youfang Cao, Shi Liu, Lida Zhang, Jie Qin, Jiang W...
STOC
2009
ACM
106views Algorithms» more  STOC 2009»
16 years 2 months ago
An axiomatic approach to algebrization
Non-relativization of complexity issues can be interpreted as giving some evidence that these issues cannot be resolved by "black-box" techniques. In the early 1990'...
Russell Impagliazzo, Valentine Kabanets, Antonina ...
APPROX
2009
Springer
107views Algorithms» more  APPROX 2009»
15 years 8 months ago
Hierarchy Theorems for Property Testing
Referring to the query complexity of property testing, we prove the existence of a rich hierarchy of corresponding complexity classes. That is, for any relevant function q, we prov...
Oded Goldreich, Michael Krivelevich, Ilan Newman, ...
PODC
2006
ACM
15 years 8 months ago
Object location using path separators
We study a novel separator property called k-path separable. Roughly speaking, a k-path separable graph can be recursively separated into smaller components by sequentially removi...
Ittai Abraham, Cyril Gavoille