4047 search results - page 184 / 810 » Some Properties and Some Problems on Set Functors |
157
click to vote
CDC
2008
IEEE
16 years 25 days ago
2008
IEEE
— Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speci...
148
click to vote
LICS
2008
IEEE
16 years 22 days ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...
162
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
In the STS-based mapping, we are requested to obtain the correct order of probes in a DNA sequence from a given set of fragments or equivalently a hybridization matrix A. It is wel...
166
click to vote
KDD
2010
ACM
15 years 10 months ago
2010
ACM
We study the problem of finding the k most frequent items in a stream of items for the recently proposed max-frequency measure. Based on the properties of an item, the maxfrequen...
159
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the cont...