3458 search results - page 261 / 692 » Abstracting Control |
147
Voted
ECCV
1994
Springer
16 years 5 months ago
1994
Springer
Abstract. Regularization o ers a powerful framework for signal reconstruction by enforcing weak constraints through the use of stabilizers. Stabilizers are functionals measuring th...
111
Voted
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. The verification of device drivers is essential for the pervasive verification of an operating system. To show the correctness of device drivers, devices have to be forma...
120
Voted
PERCOM
2004
ACM
16 years 3 months ago
2004
ACM
Applications in the Pervasive Computing domain are challenged by the dynamism in which their execution environment changes, e.g. due to user mobility. As a result, applications ha...
114
click to vote
CISIS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...
132
click to vote
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...