Sciweavers

9067 search results - page 645 / 1814
» Adaptive Model Checking
Sort
View
IROS
2009
IEEE
180views Robotics» more  IROS 2009»
16 years 1 months ago
Control of redundant robots using learned models: An operational space control approach
Abstract— We present an adaptive control approach combining forward kinematics model learning methods with the operational space control approach. This combination endows the rob...
Camille Salaün, Vincent Padois, Olivier Sigau...
FASE
2005
Springer
16 years 24 days ago
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
Ralf Reussner, Jens Happe, Annegret Habel
ISCAS
2003
IEEE
88views Hardware» more  ISCAS 2003»
16 years 16 days ago
A small analog VLSI inner hair cell model
In this paper we present a simplified analog VLSI inner hair cell model, which models the main characteristics of the biological inner hair cell, i.e., 1) soft half-wave rectifica...
André van Schaik
224
Voted
HCI
2009
15 years 5 months ago
Modeling the Cognitive Task Load and Performance of Naval Operators
Abstract. Operators on naval ships have to act in dynamic, critical and highdemand task environments. For these environments, a cognitive task load (CTL) model has been proposed as...
Mark A. Neerincx, Stefan Kennedie, Marc Grootjen, ...
AE
2003
Springer
16 years 15 days ago
The Evolutionary Control Methodology: An Overview
The ideas proposed in this work are aimed to describe a novel approach based on artificial life (alife) environments for on-line adaptive optimisation of dynamical systems. The bas...
Mauro Annunziato, Ilaria Bertini, M. Lucchetti, Al...