Sciweavers

70 search results - page 5 / 14
» Polynomial Operators on Classes of Regular Languages
Sort
View
116
Voted
DNA
2007
Springer
123views Bioinformatics» more  DNA 2007»
15 years 9 months ago
Equivalence in Template-Guided Recombination
We consider theoretical properties of the template-guided recombination operation. In particular, we consider the decidability of whether two sets of templates are equivalent, that...
Michael Domaratzki
COCO
2009
Springer
117views Algorithms» more  COCO 2009»
15 years 10 months ago
The Proof Complexity of Polynomial Identities
Devising an efficient deterministic – or even a nondeterministic sub-exponential time – algorithm for testing polynomial identities is a fundamental problem in algebraic comp...
Pavel Hrubes, Iddo Tzameret
JMLR
2010
134views more  JMLR 2010»
14 years 10 months ago
Using Contextual Representations to Efficiently Learn Context-Free Languages
We present a polynomial update time algorithm for the inductive inference of a large class of context-free languages using the paradigm of positive data and a membership oracle. W...
Alexander Clark, Rémi Eyraud, Amaury Habrar...
140
Voted
CSL
2009
Springer
15 years 7 months ago
Fixed-Point Definability and Polynomial Time
My talk will be a survey of recent results about the quest for a logic capturing polynomial time. In a fundamental study of database query languages, Chandra and Harel [4] first ra...
Martin Grohe
95
Voted
LACL
2005
Springer
15 years 9 months ago
A Polynomial Time Extension of Parallel Multiple Context-Free Grammar
Abstract. It is already known that parallel multiple context-free grammar (PMCFG) [1] is an instance of the equivalent formalisms simple literal movement grammar (sLMG) [2,3] and r...
Peter Ljunglöf