1886 search results - page 140 / 378 » Verifying and Validating Simulation Models |
ISCAS
2005
IEEE
15 years 3 months ago
2005
IEEE
— A new adaptation strategy for the equalization of high speed binary links is presented which reduces patterndependent jitter. Instead of using the LMS or a related algorithm th...
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
Abstract: This paper considers the task of trajectory stabilization for a fish-like robot by means of feedback. We use oscillatory control inputs and apply correction signals at t...
CDC
2008
IEEE
14 years 12 months ago
2008
IEEE
We develop non-smooth motion controllers that enable redundant manipulators to perform surface tasks, that involve force/torque interactions. The robot joint rates are constrained ...
ENTCS
2007
14 years 10 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
NN
2008
Springer
14 years 10 months ago
2008
Springer
A silicon neuron circuit that produces spiking and bursting firing patterns, with biologically plausible spike shape, is presented. The circuit mimics the behaviour of known class...