Sciweavers

229 search results - page 30 / 46
» Bilateral Algorithms for Symbolic Abstraction
Sort
View
FCCM
2009
IEEE
172views VLSI» more  FCCM 2009»
14 years 2 months ago
Evaluation of Static Analysis Techniques for Fixed-Point Precision Optimization
Abstract—Precision analysis and optimization is very important when transforming a floating-point algorithm into fixedpoint hardware implementations. The core analysis techniqu...
Jason Cong, Karthik Gururaj, Bin Liu, Chunyue Liu,...
ICC
2009
IEEE
130views Communications» more  ICC 2009»
14 years 2 months ago
A New Reduced Complexity ML Detection Scheme for MIMO Systems
Abstract— For multiple-input multiple-output (MIMO) systems, the optimum maximum likelihood (ML) detection requires tremendous complexity as the number of antennas or modulation ...
Jin-Sung Kim, Sung Hyun Moon, Inkyu Lee
ICC
2007
IEEE
14 years 2 months ago
Optimizing Linear Dispersion Codes for Wideband MIMO Systems
Abstract— We consider the problem of designing space-timefrequency linear dispersion (LD) codes in wideband multipleinput multiple-output (MIMO) antenna systems employing orthogo...
Luca Venturino, Narayan Prasad, Xiaodong Wang, Moh...
FASE
2008
Springer
13 years 9 months ago
Regular Inference for State Machines Using Domains with Equality Tests
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
Therese Berg, Bengt Jonsson, Harald Raffelt
ICPR
2004
IEEE
14 years 8 months ago
Relaxation Labeling Processes for Protein Secondary Structure Prediction
The prediction of protein secondary structure is a classical problem in bioinformatics, and in the past few years several machine learning techniques have been proposed to t. From...
Giacomo Colle, Marcello Pelillo