2940 search results - page 143 / 588 » Relational Parametricity and Control |
125
click to vote
AUTOMATICA
2006
15 years 4 months ago
2006
This paper examines a problem related to the optimal risk management of banks in a stochastic dynamic setting. In particular, we minimize7 market and capital adequacy risk that in...
136
click to vote
TCS
2008
15 years 4 months ago
2008
We investigate the decidability of observational equivalence and approximation in Reynolds' "Syntactic Control of Interference" (SCI), a prototypical functionalimpe...
137
click to vote
JUCS
2007
15 years 4 months ago
2007
: Spiking neural P systems are computing models inspired from the way the neurons communicate by means of spikes, electrical impulses of identical shapes. In this note we consider ...
129
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a prior...
125
Voted
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper proposes a method for the stabilization of vehicle formations in the plane under a fixed, but not necessarily complete, sensing graph. In this method each agent acts to ...