Sciweavers

1915 search results - page 224 / 383
» A language for functional interpretation of model based simu...
Sort
View
ICRA
2002
IEEE
104views Robotics» more  ICRA 2002»
15 years 9 months ago
Robotic Acquisition of Deformable Models
We describe techniques for automatically acquiring observations of a deforming object and for estimating a model of the deformation from these observations. A robotic system was d...
Jochen Lang, Dinesh K. Pai, Robert J. Woodham
ICASSP
2011
IEEE
14 years 8 months ago
Adaptive modelling with tunable RBF network using multi-innovation RLS algorithm assisted by swarm intelligence
— In this paper, we propose a new on-line learning algorithm for the non-linear system identification: the swarm intelligence aided multi-innovation recursive least squares (SIM...
Hao Chen, Yu Gong, Xia Hong
ICLP
2007
Springer
15 years 10 months ago
Static Region Analysis for Mercury
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
Quan Phan, Gerda Janssens
ICRA
2006
IEEE
121views Robotics» more  ICRA 2006»
15 years 10 months ago
Multi-model Tracking using Team Actuation Models
Abstract— Robots need to track object. Object tracking efficiency completely depends on the accuracy of the motion model and of the sensory information. Interestingly, when mult...
Yang Gu, Manuela M. Veloso
TACAS
2010
Springer
316views Algorithms» more  TACAS 2010»
15 years 2 months ago
JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution
We introduce JTorX, a tool for model-driven test derivation and execution, based on the ioco theory. This theory, originally presented in [12], has been refined in [13] with test-...
Axel Belinfante