865 search results - page 80 / 173 » Uncertainty Reduction Using Dynamics |
112
Voted
EMS
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents investigations into the development of control schemes for end-point vibration suppression and input tracking of a flexible manipulator. A constrained planar s...
109
click to vote
CGF
2010
15 years 2 months ago
2010
We propose to enhance the capabilities of the human visual system by performing optical image processing directly on an observed scene. Unlike previous work which additively super...
123
click to vote
TPHOL
2000
IEEE
15 years 7 months ago
2000
IEEE
We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in ...
139
Voted
NOSSDAV
2009
Springer
15 years 9 months ago
2009
Springer
Hard-disk drive power consumption reduction methods focus mainly on increasing the amount of time the disk is in standby mode (disk spun down) by implementing aggressive data read...
111
Voted
IQ
2001
15 years 3 months ago
2001
: Physical and informational works are strongly interrelated in a business process. This facilitates modeling a business process as an integral part of a closed loop information an...