8555 search results - page 1490 / 1711 » Property Based Coordination |
172
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
This paper presents a method for enlarging the domain of attraction of nonlinear model predictive control (MPC). The usual way of guaranteeing stability of nonlinear MPC is to add...
173
click to vote
TCS
2008
15 years 6 months ago
2008
We describe a type system for the Xd calculus of Gardner and Maffeis. An Xd-network is a network of locations, where each location consists of both a data tree (which contains scr...
163
click to vote
BC
2005
15 years 6 months ago
2005
We show in a model of spiking neurons that synaptic plasticity in the mushroom bodies in combination with the general fan-in, fan-out properties of the early processing layers of t...
188
click to vote
TFS
2008
15 years 6 months ago
2008
When the time span of an event is imprecise, it can be represented by a fuzzy set, called a fuzzy time interval. In this paper, we propose a framework to represent, compute, and re...
160
click to vote
IVC
2007
15 years 6 months ago
2007
The suitability of polar representation for quantitative image processing tasks is investigated. The classical colour polar-based representations (HLS, HSV, etc.) lead to brightne...