Sciweavers

2163 search results - page 193 / 433
» cases 2004
Sort
View
IBERAMIA
2004
Springer
15 years 12 months ago
Checking Social Properties of Multi-agent Systems with Activity Theory
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
ICA
2004
Springer
15 years 12 months ago
Using Kernel PCA for Initialisation of Variational Bayesian Nonlinear Blind Source Separation Method
The variational Bayesian nonlinear blind source separation method introduced by Lappalainen and Honkela in 2000 is initialised with linear principal component analysis (PCA). Becau...
Antti Honkela, Stefan Harmeling, Leo Lundqvist, Ha...
ICA
2004
Springer
15 years 12 months ago
An Iterative Blind Source Separation Method for Convolutive Mixtures of Images
The paper deals with blind source separation of images. The model which is adopted here is a convolutive multi-dimensional one. Recent results about polynomial matrices in several ...
Marc Castella, Jean-Christophe Pesquet
ICA
2004
Springer
15 years 12 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...
ICALP
2004
Springer
15 years 12 months ago
The Power of Verification for One-Parameter Agents
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...
Vincenzo Auletta, Roberto De Prisco, Paolo Penna, ...