Sciweavers

2940 search results - page 154 / 588
» Relational Parametricity and Control
Sort
View
AUTOMATICA
2008
108views more  AUTOMATICA 2008»
15 years 4 months ago
Closed-loop identification of multivariable systems: With or without excitation of all references?
The accuracy of plant parameters estimated in closed-loop operation is investigated for a class of multivariable systems and for the situation where only some of the reference inp...
Ljubisa Miskovic, Alireza Karimi, Dominique Bonvin...
IJRR
2008
136views more  IJRR 2008»
15 years 4 months ago
Image-based Visual Servoing with Central Catadioptric Cameras
: This paper presents an image-based visual servoing strategy for the autonomous navigation of a mobile holonomic robot from a current toward a desired pose, specified only through...
Gian Luca Mariottini, Domenico Prattichizzo
JMLR
2006
143views more  JMLR 2006»
15 years 4 months ago
Geometric Variance Reduction in Markov Chains: Application to Value Function and Gradient Estimation
We study a sequential variance reduction technique for Monte Carlo estimation of functionals in Markov Chains. The method is based on designing sequential control variates using s...
Rémi Munos
ENTCS
2007
101views more  ENTCS 2007»
15 years 4 months ago
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
David J. Pym, Chris M. N. Tofts
TASLP
2008
110views more  TASLP 2008»
15 years 4 months ago
A Backward-Compatible Multichannel Audio Codec
We propose in this paper a backward-compatible multichannel audio codec. This codec represents a multichannel audio input signal by a down mix and parametric data. In order to enab...
Gerard Hotho, Lars F. Villemoes, Jeroen Breebaart