Sciweavers

3719 search results - page 39 / 744
» order 2010
Sort
View
CORR
2010
Springer
125views Education» more  CORR 2010»
13 years 10 months ago
Tree Languages Defined in First-Order Logic with One Quantifier Alternation
We study tree languages that can be defined in 2. These are tree languages definable by a first-order formula whose quantifier prefix is , and simultaneously by a first-order for...
Mikolaj Bojanczyk, Luc Segoufin
JELIA
2010
Springer
13 years 8 months ago
Translating First-Order Causal Theories into Answer Set Programming
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
Vladimir Lifschitz, Fangkai Yang
ACL
2010
13 years 8 months ago
Efficient Third-Order Dependency Parsers
We present algorithms for higher-order dependency parsing that are "third-order" in the sense that they can evaluate substructures containing three dependencies, and &qu...
Terry Koo, Michael Collins
DAGM
2010
Springer
13 years 8 months ago
An Empirical Comparison of Inference Algorithms for Graphical Models with Higher Order Factors Using OpenGM
Abstract. Graphical models with higher order factors are an important tool for pattern recognition that has recently attracted considerable attention. Inference based on such model...
Björn Andres, Jörg H. Kappes, Ullrich K&...
JUCS
2010
105views more  JUCS 2010»
13 years 8 months ago
Ordered Catenation Closures and Decompositions of Languages Related to a Language of Derick Wood
: We investigate the problem of decomposing a language into a catenation of nontrivial languages, none of which can be decomposed further. In many cases this leads to the operation...
Arto Salomaa