2679 search results - page 123 / 536 » Experimental Models for Validating Technology |
109
click to vote
SAC
2005
ACM
15 years 6 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
ICRA
2003
IEEE
15 years 6 months ago
2003
IEEE
We describe a model predicting the output torque of the battery-amplifier-actuator-gear combination used on the hexapod robot RHex, based on requested PWM (PulseWidth-Modulation) ...
ICRA
2002
IEEE
15 years 5 months ago
2002
IEEE
A new approach to the forming control using a forming process model of rheological food dough is presented. Manipulative operations of rheological objects can be found in many ind...
116
click to vote
EMSOFT
2008
Springer
15 years 2 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
128
click to vote
CVIU
2008
15 years 29 days ago
2008
We present a new noise model for color channels for statistical change detection. Based on this noise modeling, we estimate the distribution of Euclidean distances between the pix...