4029 search results - page 402 / 806 » Reconfigurable Systems in Education |
171
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We provide a characterisation of strong bisimilarity in a fragment of CCS that contains only prefix, parallel composition, synchronisation and a limited form of replication. The ch...
174
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
In this work, a Bayesian framework for OFDM channel estimation is proposed. Using the maximum entropy principle to exploit prior system information at the receiver, we successively...
193
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract : The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules. We prov...
165
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
116
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
We present a method for determining the one-dimensional submodules of a Laurent-Ore module. The method is based on a correspondence between hyperexponential solutions of associate...