Sciweavers

555 search results - page 78 / 111
» Between Symbol and Language-in-use
Sort
View
ACSD
2008
IEEE
102views Hardware» more  ACSD 2008»
14 years 2 months ago
Performing causality analysis by bounded model checking
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
Klaus Schneider, Jens Brandt
CEC
2008
IEEE
14 years 2 months ago
Policy evolution with Genetic Programming: A comparison of three approaches
— In the early days a policy was a set of simple rules with a clear intuitive motivation that could be formalised to good effect. However the world is now much more complex. Subt...
Yow Tzu Lim, Pau-Chen Cheng, John Andrew Clark, Pa...
ICC
2008
IEEE
137views Communications» more  ICC 2008»
14 years 2 months ago
Optimal Precoding for Orthogonalized Spatial Multiplexing in MIMO Wireless Systems
— This paper proposes a new precoding algorithm for orthogonalized spatial multiplexing (OSM) systems over flatfading multiple-input multiple-output (MIMO) channels. The OSM sch...
Young-Tae Kim, Heunchul Lee, Seokhwan Park, Inkyu ...
ICDM
2008
IEEE
106views Data Mining» more  ICDM 2008»
14 years 2 months ago
Boosting Relational Sequence Alignments
The task of aligning sequences arises in many applications. Classical dynamic programming approaches require the explicit state enumeration in the reward model. This is often impr...
Andreas Karwath, Kristian Kersting, Niels Landwehr
GLOBECOM
2007
IEEE
14 years 2 months ago
Iterative Decoding of Concatenated Channel Coding and Trellis Shaping Based on Markov Model
—The trellis shaping (TS) is an effective technique not only for average power reduction of high-order QAM signals, but also for peak power reduction of band-limited single-carri...
Makoto Tanahashi, Hideki Ochiai