3724 search results - page 520 / 745 » Timed regular expressions |
140
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
LRM-Trees are an elegant way to partition a sequence of values into sorted consecutive blocks, and to express the relative position of the first element of each block within a prev...
140
click to vote
JCS
2011
14 years 12 months ago
2011
We present a model of adaptive attacks which we combine with information-theoretic metrics to quantify the information revealed to an adaptive adversary. This enables us to expres...
190
click to vote
KBS
2011
14 years 12 months ago
2011
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (c...
162
click to vote
JDCTA
2010
14 years 11 months ago
2010
For the study of traffic flow, a number of factors for traffic flow is difficult to accurate description variables with specific parameters, but in similar circumstances, traffic ...
151
click to vote
TCOM
2010
14 years 11 months ago
2010
The performance of an automatic frequency control (AFC) loop is investigated using two measures, the mean time to loss of lock and the average switching rate. The AFC is considere...