Sciweavers

742 search results - page 40 / 149
» Classical conditioning
Sort
View
LICS
2012
IEEE
11 years 11 months ago
Countermodels from Sequent Calculi in Multi-Modal Logics
—A novel countermodel-producing decision procedure that applies to several multi-modal logics, both intuitionistic and classical, is presented. Based on backwards search in label...
Deepak Garg, Valerio Genovese, Sara Negri
ICPR
2000
IEEE
14 years 1 months ago
Multichannel Blind Deconvolution of the Short-Exposure Astronomical Images
In this paper we present a new multichannel blind deconvolution method based on so-called subspace technique that was originally proposed by Harikumar and Bresler. When at least t...
Filip Sroubek, Jan Flusser, Tomás Suk, Stan...
CDC
2008
IEEE
147views Control Systems» more  CDC 2008»
13 years 10 months ago
Synchronization in networks of identical linear systems
The paper investigates the synchronization of a network of identical linear state-space models under a possibly time-varying and directed interconnection structure. The main resul...
Luca Scardovi, Rodolphe Sepulchre
ICASSP
2008
IEEE
14 years 3 months ago
A new Particle Filtering algorithm with structurally optimal importance function
Bayesian estimation in nonlinear stochastic dynamical systems has been addressed for a long time. Among other solutions, Particle Filtering (PF) algorithms propagate in time a Mon...
Boujemaa Ait-El-Fquih, François Desbouvries
ESA
2009
Springer
98views Algorithms» more  ESA 2009»
14 years 3 months ago
Reconstructing 3-Colored Grids from Horizontal and Vertical Projections Is NP-hard
We consider the problem of coloring a grid using k colors with the restriction that in each row and each column has an specific number of cells of each color. In an already classi...
Christoph Dürr, Flavio Guiñez, Mart&ia...