4674 search results - page 109 / 935 » cases 2008 |
160
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We consider the problem of transmission of several discrete sources over a multiple access channel (MAC) with side information at the sources and the decoder. Source-channel separa...
135
click to vote
APAL
2008
15 years 6 months ago
2008
The characterization of second-order type isomorphisms is a purely syntactical problem that we propose to study under the enlightenment of game semantics. We study this question i...
147
Voted
AI
2008
Springer
15 years 8 months ago
2008
Springer
Distance semantics is a robust way of handling dynamically evolving and possibly contradictory information. In this paper we show that in many cases distance-based entailments can ...
181
click to vote
JAC
2008
15 years 7 months ago
2008
The problem of compact tables is to maximise the overlap when building a word that is to include permutations of every given words (all the words being the same length). This probl...
153
click to vote
AMC
2008
15 years 6 months ago
2008
The aim of this paper is to provide alternate proofs of all the results of our previous paper [2] in the particular case when the given two matrices A1 and A2 in the linear combin...