Sciweavers

2713 search results - page 216 / 543
» Parameterized Tree Systems
Sort
View
130
Voted
CORR
2008
Springer
75views Education» more  CORR 2008»
15 years 4 months ago
Soft-Input Soft-Output Sphere Decoding
Soft-input soft-output (SISO) detection algorithms form the basis for iterative decoding. The associated computational complexity often poses significant challenges for practical r...
Christoph Studer, Helmut Bölcskei
ENTCS
2010
90views more  ENTCS 2010»
15 years 4 months ago
Recursive Program Schemes and Context-Free Monads
Solutions of recursive program schemes over a given signature were characterized by Bruno Courcelle as precisely the context-free (or algebraic) -trees. These are the finite and ...
Jirí Adámek, Stefan Milius, Jiri Vel...
COMBINATORICS
2004
84views more  COMBINATORICS 2004»
15 years 4 months ago
Planar Maps as Labeled Mobiles
We extend Schaeffer's bijection between rooted quadrangulations and welllabeled trees to the general case of Eulerian planar maps with prescribed face valences to obtain a bi...
J. Bouttier, P. Di Francesco, E. Guitter
116
Voted
ENTCS
2002
78views more  ENTCS 2002»
15 years 3 months ago
Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction
Solvers on finite domains use local consistency notions to remove values from the domains. This paper defines value withdrawal explanations. Domain reduction is formalized with ch...
Gérard Ferrand, Willy Lesaint, Alexandre Te...
NAACL
2010
15 years 2 months ago
Syntactic/Semantic Structures for Textual Entailment Recognition
In this paper, we describe an approach based on off-the-shelf parsers and semantic resources for the Recognizing Textual Entailment (RTE) challenge that can be generally applied t...
Yashar Mehdad, Alessandro Moschitti, Fabio Massimo...