5615 search results - page 720 / 1123 » On the Computational Capabilities of Several Models |
214
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
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...
235
click to vote
JMLR
2010
15 years 2 months ago
2010
The rapid advance of computer technologies in data processing, collection, and storage has provided unparalleled opportunities to expand capabilities in production, services, comm...
259
click to vote
CADE
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
219
click to vote
EMSOFT
2006
Springer
15 years 11 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
219
click to vote
KDD
2009
ACM
16 years 8 months ago
2009
ACM
Spatial classification is the task of learning models to predict class labels based on the features of entities as well as the spatial relationships to other entities and their fe...