3044 search results - page 164 / 609 » Linear logical approximations |
CDC
2009
IEEE
13 years 8 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
Interior point methods (IPMs) have proven to be an efficient way of solving quadratic programming problems in predictive control. A linear system of equations needs to be solved in...
ECML
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Greedy machine learning algorithms suffer from shortsightedness, potentially returning suboptimal models due to limited exploration of the search space. Greedy search mis...
ICS
2010
Tsinghua U.
14 years 7 months ago
2010
Tsinghua U.
We consider Fisher and Arrow-Debreu markets under additively-separable, piecewise-linear, concave utility functions, and obtain the following results: ? For both market models, if...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— Non-linear amplitude distortion may be the key impairment in some practical multiple-input multipleoutput (MIMO) communications systems. However, there are only a few past inve...