2940 search results - page 22 / 588 » Relational Parametricity and Control |
101
click to vote
CGVR
2006
14 years 11 months ago
2006
- This paper describes the capabilities of a parametric model developed to perform design and analysis tasks in the areas of advanced engineering activities during the development ...
103
click to vote
FORMATS
2010
Springer
14 years 7 months ago
2010
Springer
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...
ICIP
2009
IEEE
14 years 7 months ago
2009
IEEE
Recently, adaptive interpolation filter (AIF) has received increasing attention for motion-compensated prediction (MCP). The existing methods code the filter coefficients individu...
AUTOMATICA
2007
14 years 9 months ago
2007
The recently proposed saturated adaptive robust controller is integrated with desired trajectory compensation to achieve global stability with9 much improved tracking performance....
GW
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. For a Reactive Virtual Trainer(RVT), subtle timing and lifelikeness of motion is of primary importance. To allow for reactivity, movement adaptation, like a change of tem...