2466 search results - page 201 / 494 » Algorithms for distributed functional monitoring |
185
click to vote
ENTCS
2006
15 years 6 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
184
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Particle filters (PF) and auxiliary particle filters (APF) are widely used sequential Monte Carlo (SMC) techniques. In this paper we comparatively analyse the Sampling Importanc...
298
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
Abstract-- Data uncertainty is common in real-world applications due to various causes, including imprecise measurement, network latency, outdated sources and sampling errors. Thes...
169
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Tendon-based transmission systems present many positive aspects and greatly simplify the mechanical design of small robotic devices, such as robotic fingers. On the other hand...
183
click to vote
ISSAC
2007
Springer
16 years 25 days ago
2007
Springer
Algebraic randomization techniques can be applied to hybrid symbolic-numeric algorithms. Here we consider the problem of interpolating a sparse rational function from noisy values...