2410 search results - page 121 / 482 » Multiset Ordering Constraints |
120
Voted
CORR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract--A peak-power-limited single-antenna block-stationary Gaussian fading channel is studied, where neither the transmitter nor the receiver knows the channel state informatio...
152
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Abstract—Coping with outliers contaminating dynamical processes is of major importance in various applications because mismatches from nominal models are not uncommon in practice...
139
click to vote
CSE
2009
IEEE
15 years 12 months ago
2009
IEEE
—Constraints are an important part of role-based access control policies. The safety or security of a system is maintained by enforcing constraints that are specified in the pol...
131
Voted
MFCS
1997
Springer
15 years 9 months ago
1997
Springer
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
166
click to vote
CAV
2012
Springer
13 years 7 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...