Sciweavers

1000 search results - page 114 / 200
» order 2011
Sort
View
CORR
2011
Springer
173views Education» more  CORR 2011»
15 years 15 days ago
Psi-calculi: a framework for mobile processes with nominal data and logic
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
Jesper Bengtson, Magnus Johansson, Joachim Parrow,...
CORR
2011
Springer
191views Education» more  CORR 2011»
15 years 15 days ago
A Message-Passing Receiver for BICM-OFDM over Unknown Clustered-Sparse Channels
We propose a factor-graph-based approach to joint channel-estimationand-decoding of bit-interleaved coded orthogonal frequency division multiplexing (BICM-OFDM). In contrast to ex...
Philip Schniter
CORR
2011
Springer
217views Education» more  CORR 2011»
15 years 15 days ago
Boolean Networks Design by Genetic Algorithms
Abstract. We present and discuss the results of an experimental analysis in the design of Boolean networks by means of genetic algorithms. A population of networks is evolved with ...
Andrea Roli, Cristian Arcaroli, Marco Lazzarini, S...
CORR
2011
Springer
197views Education» more  CORR 2011»
15 years 15 days ago
Business Intelligence for Small and Middle-Sized Entreprises
Data warehouses are the core of decision support systems, which nowadays are used by all kind of enterprises in the entire world. Although many studies have been conducted on the ...
Oksana Grabova, Jérôme Darmont, Jean-...
CORR
2011
Springer
199views Education» more  CORR 2011»
15 years 15 days ago
From Machine Learning to Machine Reasoning
A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition co...
Léon Bottou