3779 search results - page 217 / 756 » Linear Consistency Testing |
147
click to vote
APAL
2005
15 years 6 months ago
2005
We prove a full completeness theorem for multiplicative-additive linear logic (i.e. MALL) using a double gluing construction applied to Ehrhard's -autonomous category of hype...
156
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
An approach for constrained predictive control of linear systems (or uncertain systems described by polytopic uncertainty models) is presented. The approach consists of (in genera...
173
click to vote
COMPLEXITY
2004
15 years 6 months ago
2004
In an evolving community consisting of many individuals, it is often the case that the individuals tend, over time, to become more specialized in performing the tasks necessary fo...
170
click to vote
ALGORITHMICA
2010
15 years 6 months ago
2010
We consider a graph with n vertices, and p < n pebbles of m colors. A pebble move consists of transferring a pebble from its current host vertex to an adjacent unoccupied verte...
162
click to vote
QUESTA
2008
15 years 6 months ago
2008
We consider a parallel server system that consists of several customer classes and server pools in parallel. We propose a simple robust control policy to minimize the total linear...