3229 search results - page 169 / 646 » The Theory of Timed Automata |
176
click to vote
CSL
1999
Springer
15 years 10 months ago
1999
Springer
This paper describes a new data structure, difference decision diagrams (DDDs), for representing a Boolean logic over inequalities of the form ¡£¢¥¤§¦©¨ and ¡¢¥¤...
187
click to vote
SACI
2007
IEEE
16 years 24 days ago
2007
IEEE
: Linear Parameter Varying(LPV) systems appear in a form of LTI state space representations where the elements of the A(ρ), B(ρ), C(ρ) matrices can depend on an unknown but at a...
214
click to vote
JNW
2008
15 years 6 months ago
2008
Recently overlay networks have emerged as an efficient and flexible method for content distribution. An overlay network is a network running on top of another network, usually the ...
173
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
The central task of current profile control during the ramp-up phase of a tokamak discharge is to find the actuator trajectories that are necessary to achieve certain desired curre...
163
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
In this paper, the implication of the relations of information in the case of multispectral images is analyzed. Higher-order mutual information can adopt positive or negative valu...