Sciweavers

4934 search results - page 110 / 987
» complexity 2008
Sort
View
97
Voted
IPL
2008
107views more  IPL 2008»
15 years 4 months ago
Reachability on prefix-recognizable graphs
We prove that on prefix-recognizable graphs reachability is complete for deterministic exponential time matching the complexity of alternating reachability. Key words: Reachabilit...
Stefan Göller
ECCC
2008
168views more  ECCC 2008»
15 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
BMCBI
2008
117views more  BMCBI 2008»
15 years 4 months ago
RNACompress: Grammar-based compression and informational complexity measurement of RNA secondary structure
Background: With the rapid emergence of RNA databases and newly identified non-coding RNAs, an efficient compression algorithm for RNA sequence and structural information is neede...
Qi Liu, Yu Yang, Chun Chen, Jiajun Bu, Yin Zhang, ...
COLING
2008
15 years 5 months ago
Detecting Erroneous Uses of Complex Postpositions in an Agglutinative Language
This work presents the development of a system that detects incorrect uses of complex postpositions in Basque, an agglutinative language. Error detection in complex postpositions ...
Arantza Díaz de Ilarraza Sánchez, Ko...
IANDC
2008
74views more  IANDC 2008»
15 years 4 months ago
Baire categories on small complexity classes and meager-comeager laws
We introduce two resource-bounded Baire category notions on small complexity classes such as P, QUASIPOLY, SUBEXP and PSPACE and on probabilistic classes such as BPP, which differ...
Philippe Moser