Sciweavers

935 search results - page 70 / 187
» A Framework for Obfuscated Interpretation
Sort
View
CORR
1999
Springer
81views Education» more  CORR 1999»
15 years 6 months ago
Inducing a Semantically Annotated Lexicon via EM-Based Clustering
We present a technique for automatic induction of slot annotations for subcategorization frames, based on induction of hidden classes in the EM framework of statistical estimation...
Mats Rooth, Stefan Riezler, Detlef Prescher, Glenn...
MSCS
2007
117views more  MSCS 2007»
15 years 5 months ago
Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
We study full completeness and syntactical separability of MLL proof nets with the mix rule. The general method we use consists first in addressing the two questions in the less ...
Michele Pagani
TCOM
2010
112views more  TCOM 2010»
15 years 1 months ago
Concise Derivation of Scattering Function from Channel Entropy Maximization
In order to provide a concise time-varying SISO channel model, the principle of maximum entropy is applied to scattering function derivation. The resulting model is driven by few p...
François-Xavier Socheleau, Christophe Laot,...
CORR
2008
Springer
211views Education» more  CORR 2008»
15 years 6 months ago
Competitive Design of Multiuser MIMO Systems based on Game Theory: A Unified View
Abstract--This paper considers the noncooperative maximization of mutual information in the Gaussian interference channel in a fully distributed fashion via game theory. This probl...
Gesualdo Scutari, Daniel Pérez Palomar, Ser...
CADE
2009
Springer
16 years 7 months ago
Does This Set of Clauses Overlap with at Least One MUS?
This paper is concerned with the problem of checking whether a given subset of an unsatisfiable Boolean CNF formula takes part in the basic causes of the inconsistency of . More ...
Éric Grégoire, Bertrand Mazure, C&ea...