Sciweavers

3955 search results - page 527 / 791
» Comparing the Power of Robots
Sort
View
ICASSP
2011
IEEE
14 years 4 months ago
Fixed- versus floating-point implementation of MIMO-OFDM detector
In this paper, we investigate the opportunities offered by floatingpoint arithmetics in enabling an assembly and intrinsics free highlevel language based development. We compare ...
Janne Janhunen, Perttu Salmela, Olli Silvén...
93
Voted
ICASSP
2011
IEEE
14 years 4 months ago
PAC-Bayesian approach for minimization of phoneme error rate
We describe a new approach for phoneme recognition which aims at minimizing the phoneme error rate. Building on structured prediction techniques, we formulate the phoneme recogniz...
Joseph Keshet, David A. McAllester, Tamir Hazan
SAT
2011
Springer
263views Hardware» more  SAT 2011»
14 years 3 months ago
Failed Literal Detection for QBF
Failed literal detection (FL) in SAT is a powerful approach for preprocessing. The basic idea is to assign a variable as assumption. If boolean constraint propagation (BCP) yields ...
Florian Lonsing, Armin Biere
CASC
2011
Springer
262views Mathematics» more  CASC 2011»
14 years 20 days ago
Practical Divide-and-Conquer Algorithms for Polynomial Arithmetic
We investigate two practical divide-and-conquer style algorithms for univariate polynomial arithmetic. First we revisit an algorithm originally described by Brent and Kung for comp...
William Hart, Andrew Novocin
CC
2012
Springer
250views System Software» more  CC 2012»
13 years 8 months ago
Improving Performance of OpenCL on CPUs
Abstract. Data-parallel languages like OpenCL and CUDA are an important means to exploit the computational power of today’s computing devices. In this paper, we deal with two asp...
Ralf Karrenberg, Sebastian Hack