Sciweavers

1117 search results - page 92 / 224
» Equivalent Representations of Set Functions
Sort
View
ECAI
2006
Springer
15 years 1 months ago
Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems
In a peer-to-peer inference system, there is no centralized control or hierarchical organization: each peer is equivalent in functionality and cooperates with other peers in order...
Philippe Chatalic, Gia Hien Nguyen, Marie-Christin...
NIPS
2007
14 years 11 months ago
A Spectral Regularization Framework for Multi-Task Structure Learning
Learning the common structure shared by a set of supervised tasks is an important practical and theoretical problem. Knowledge of this structure may lead to better generalization ...
Andreas Argyriou, Charles A. Micchelli, Massimilia...
CORR
2006
Springer
116views Education» more  CORR 2006»
14 years 9 months ago
Rewriting modulo in Deduction modulo
Abstract. We study the termination of rewriting modulo a set of equations in the Calculus of Algebraic Constructions, an extension of the Calculus of Constructions with functions a...
Frédéric Blanqui
MLQ
1998
70views more  MLQ 1998»
14 years 9 months ago
S-Storage Operators
In 1990, J.L. Krivine introduced the notion of storage operator to simulate, for Church integers, the “call by value” in a context of a “call by name” strategy. In this pre...
Karim Nour
EMNLP
2009
14 years 7 months ago
Joint Optimization for Machine Translation System Combination
System combination has emerged as a powerful method for machine translation (MT). This paper pursues a joint optimization strategy for combining outputs from multiple MT systems, ...
Xiaodong He, Kristina Toutanova