8094 search results - page 52 / 1619 » Improvements in Formula Generalization |
AUTOMATICA
2002
13 years 8 months ago
2002
We present a formula for the extremes of the null controllable region of a general LTI discrete-time system with bounded inputs. For an nth order system with only real poles (not ...
TIT
1998
13 years 8 months ago
1998
We explore some basic properties of coding theory of a general quantum communication channel and its operational capacity, including (1) adaptive measurement with feedback code, (...
SAT
2005
Springer
14 years 2 months ago
2005
Springer
Much attention has been given in recent years to the problem of finding Minimally Unsatisfiable Subformulas (MUSes) of Boolean formulas. In this paper, we present a new view of the...
JANCL
2008
13 years 9 months ago
2008
ABSTRACT. In [CON 06b] we introduced the algorithm SQEMA for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general corresp...
ICC
2009
IEEE
13 years 6 months ago
2009
IEEE
Abstract This paper proposes an analytical method to evaluate the delay violation probability of traffic flows with statistical Quality-of-Service (QoS) guarantees in a Generalize...