Sciweavers

1117 search results - page 92 / 224
» Equivalent Representations of Set Functions
Sort
View
133
Voted
ECAI
2006
Springer
15 years 7 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...
163
Voted
NIPS
2007
15 years 5 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...
119
Voted
CORR
2006
Springer
116views Education» more  CORR 2006»
15 years 3 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
103
Voted
MLQ
1998
70views more  MLQ 1998»
15 years 3 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
124
Voted
EMNLP
2009
15 years 1 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