Sciweavers

4962 search results - page 447 / 993
» Stochastic Model Checking
Sort
View
ICML
2008
IEEE
16 years 5 months ago
Large scale manifold transduction
We show how the regularizer of Transductive Support Vector Machines (TSVM) can be trained by stochastic gradient descent for linear models and multi-layer architectures. The resul...
Michael Karlen, Jason Weston, Ayse Erkan, Ronan Co...
ICML
2005
IEEE
16 years 5 months ago
Recognition and reproduction of gestures using a probabilistic framework combining PCA, ICA and HMM
This paper explores the issue of recognizing, generalizing and reproducing arbitrary gestures. We aim at extracting a representation that encapsulates only the key aspects of the ...
Sylvain Calinon, Aude Billard
119
Voted
CDC
2008
IEEE
15 years 10 months ago
Robust invariant set theory applied to networked buffer-level control
— A manufacturer producing several items keeps them into safety stocks (buffers) in order to supply an external stochastic demand without interruptions. We consider the classical...
Francesco Borrelli, Carmen Del Vecchio, Alessandra...
IAT
2006
IEEE
15 years 10 months ago
A Q-decomposition LRTDP Approach to Resource Allocation
This paper contributes to solve effectively stochastic resource allocation problems known to be NP-Complete. To address this complex resource management problem, the merging of tw...
Pierrick Plamondon, Brahim Chaib-draa, Abder Rezak...
143
Voted
VALUETOOLS
2006
ACM
149views Hardware» more  VALUETOOLS 2006»
15 years 10 months ago
Tail asymptotics for discrete event systems
In the context of communication networks, the framework of stochastic event graphs allows a modeling of control mechanisms induced by the communication protocol and an analysis of ...
Marc Lelarge