3053 search results - page 204 / 611 » Performance of Generative Programming Based Protocol Impleme... |
SAFECOMP
2007
Springer
14 years 10 months ago
2007
Springer
In existing security model-checkers the intruder’s behavior is defined as a message deducibility rule base governing use of eavesdropped information, with the aim to find out a m...
ICRA
1995
IEEE
14 years 8 months ago
1995
IEEE
This paper describes and evaluates an efficient technique that allows the fast generation of 3D triangular meshes from range images avoiding optimization procedures. Such a tool ...
ICRA
2007
IEEE
14 years 11 months ago
2007
IEEE
— In this paper, we address the problem of automatic grasp generation for robotic hands where experience and shape primitives are used in synergy so to provide a basis not only f...
PTS
2010
14 years 3 months ago
2010
We present an application of learning-based testing to the problem of automated test case generation (ATCG) for numerical software. Our approach uses n-dimensional polynomial model...
SAB
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. In this paper we study distributed online learning of locomotion gaits for modular robots. The learning is based on a stochastic approximation method, SPSA, which optimiz...