DLT
2009
14 years 22 days ago
2009
A survey of applications of factorization forests. Fix a regular language L A . You are given a word a1
CP
2010
Springer
14 years 28 days ago
2010
Springer
We introduce a parallelized version of tree-decomposition based dynamic programming for solving difficult weighted CSP instances on many cores. A tree decomposition organizes cost ...
MFCS
2005
Springer
14 years 8 months ago
2005
Springer
Abstract. We introduce nondeterministic graph searching with a controlled amount of nondeterminism and show how this new tool can be used in algorithm design and combinatorial anal...
CSB
2005
IEEE
14 years 8 months ago
2005
IEEE
Searching genomes for RNA secondary structure with computational methods has become an important approach to the annotation of non-coding RNAs. However, due to the lack of effici...