1897 search results - page 181 / 380 » Conditional Linear Planning |
113
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— In general, existing model reduction techniques for stable nonlinear systems lack a guarantee on stability of the reduced-order model, as well as an error bound. In this paper,...
142
Voted
DATE
1997
IEEE
15 years 8 months ago
1997
IEEE
Many Built-In Self Test pattern generators use Linear Feedback Shift Registers (LFSR) to generate test sequences. In this paper, we address the generation of deterministic pairs o...
146
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...
131
click to vote
NCI
2004
15 years 5 months ago
2004
This paper presents a new independency metric for blind source separation (BSS) problem. It is mathematically proved that the metric value of any linear combination of source sign...
NIPS
2004
15 years 5 months ago
2004
We introduce a new algorithm based on linear programming that approximates the differential value function of an average-cost Markov decision process via a linear combination of p...