2487 search results - page 58 / 498 » cases 2009 |
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
IDC
2009
Springer
15 years 7 months ago
2009
Springer
In the last fifteen years many work in logic programming has focussed on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both c...
97
Voted
ALT
2009
Springer
15 years 5 months ago
2009
Springer
In this paper the sequential prediction problem with expert advice is considered for the case when the losses of experts suffered at each step can be unbounded. We present some mo...
136
Voted
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
— A receding horizon control algorithm, originally proposed for tracking best-possible steady-states in the presence of overly stringent state and/or input constraints, is analyz...
103
Voted
CAEPIA
2009
Springer
15 years 1 months ago
2009
Springer
We slightly improve on characterization results already in the literature for base revision. We show that in order to axiomatically characterize revision operators in a logic the o...