36 search results - page 7 / 8 » An Abstract Axiomatization of the Notion of Entropy |
123
click to vote
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
95
Voted
IJCNLP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper presents an empirical study on four techniques of language model adaptation, including a maximum a posteriori (MAP) method and three discriminative training mo...
TIT
2008
15 years 8 days ago
2008
Abstract--We investigate two closely related successive refinement (SR) coding problems: 1) In the hypothesis testing (HT) problem, bivariate hypothesis H0 : PXY against H1 : PXPY ...
133
click to vote
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
119
click to vote
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...