4485 search results - page 132 / 897 » Equivalences on Observable Processes |
AUTOMATICA
2008
13 years 10 months ago
2008
This paper addresses the disturbance attenuation problem by output feedback for multivariable linear systems with delayed inputs. To solve this problem, a feedback compensator is u...
ICCV
2009
IEEE
13 years 7 months ago
2009
IEEE
The human visual system observes and understands a scene/image by making a series of fixations. Every "fixation point" lies inside a particular region of arbitrary shape...
CORR
2009
Springer
13 years 7 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
ICPR
2008
IEEE
14 years 4 months ago
2008
IEEE
We present a new approach to the general problem of template-based segmentation, detection, and registration. This joint problem is highly nonlinear and high dimensional, due to t...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— In this paper we analyze the operation of two scheduling algorithms, Class Based Queuing (CBQ) and Delay Bounded Hybrid Proportional Delay (DBHPD). We compare results obtained ...