Sciweavers

533 search results - page 39 / 107
» A Very Mathematical Dilemma
Sort
View
ICA
2004
Springer
15 years 5 months ago
Blind Deconvolution of SISO Systems with Binary Source Based on Recursive Channel Shortening
We treat the problem of Blind Deconvolution of Single Input - Single Output (SISO) systems with real or complex binary sources. We explicate the basic mathematical idea by focusing...
Konstantinos I. Diamantaras, Theophilos Papadimitr...
WADT
2004
Springer
15 years 5 months ago
Theoroidal Maps as Algebraic Simulations
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
Narciso Martí-Oliet, José Meseguer, ...
DATE
2003
IEEE
115views Hardware» more  DATE 2003»
15 years 5 months ago
Control Flow Driven Splitting of Loop Nests at the Source Code Level
This paper presents a novel source code transformation for control flow optimizationcalled loop nest splitting which minimizes the number of executed if-statements in loop nests ...
Heiko Falk, Peter Marwedel
IAT
2003
IEEE
15 years 5 months ago
Designing Flexible Negotiation Agent with Relaxed Decision Rules
This article presents a model for designing negotiation agent with two distinguishing features: 1) a marketdriven strategy and 2) a set of relaxed decision rules. Market-driven ag...
Kwang Mong Sim, Shi Yu Wang
ICALT
2003
IEEE
15 years 5 months ago
Online Self-Assessment as a Learning Method
Algorithms and Programming Languages is a core subject in the BS Degree in Mathematics at the authors’ university. Some of the students are very interested in computer programmi...
Daniel Gayo-Avello, Hortensia Fernández-Cue...