5630 search results - page 895 / 1126 » Computability in Specification |
185
click to vote
PRESENCE
2010
15 years 1 months ago
2010
This paper introduces the concept and discusses the implications of immersive journalism, which is the production of news in a form in which people can gain firstperson experience...
178
click to vote
SBMF
2010
Springer
15 years 1 months ago
2010
Springer
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
197
click to vote
SIAMIS
2010
15 years 1 months ago
2010
We study nonparametric regression between Riemannian manifolds based on regularized empirical risk minimization. Regularization functionals for mappings between manifolds should re...
191
click to vote
TCOM
2010
15 years 1 months ago
2010
Abstract--This paper provides a systematic mutual information (MI) and multichannel beamforming (MBF) characterization of optimized multiple-input multiple-output (MIMO) communicat...
180
click to vote
TCOM
2010
15 years 1 months ago
2010
Abstract--In order to release the growing demand for computational complexity with respect to increasing information sequence length in the priority-first search decoding algorithm...