281 search results - page 10 / 57 » A Method for Invariant Generation for Polynomial Continuous ... |
DAGSTUHL
2003
13 years 9 months ago
2003
Homotopy continuation methods have proven to be reliable and efficient to approximate all isolated solutions of polynomial systems. In this paper we show how we can use this capabi...
CRYPTO
2010
Springer
13 years 4 months ago
2010
Springer
We present a general method to compile any cryptographic algorithm into one which resists side channel attacks of the only computation leaks information variety for an unbounded nu...
HYBRID
2004
Springer
14 years 1 months ago
2004
Springer
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— We consider the problem of generating global feasible trajectories for nonholonomic mobile robots in the presence of moving obstacles. The global trajectory is composed of regi...
DASFAA
2011
IEEE
12 years 11 months ago
2011
IEEE
In this demo, we present the StreamFitter system for real-time regression analysis on continuous data streams. In order to perform regression on data streams, it is necessary to co...