433 search results - page 46 / 87 » On stabilizers of infinite words |
102
click to vote
CAV
2006
Springer
15 years 4 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
94
Voted
FOSSACS
2006
Springer
15 years 4 months ago
2006
Springer
Metric Temporal Logic (MTL) is a real-time extension of Linear Temporal Logic that was proposed fifteen years ago and has since been extensively studied. Since the early 1990s, it ...
54
Voted
CPC
2010
15 years 26 days ago
2010
Define the Linus sequence Ln for n 1 as a 0-1 sequence with L1 = 0, and Ln chosen so as to minimize the length of the longest immediately repeated block Ln-2r+1 . . . Ln-r = Ln-r...
58
Voted
CSDA
2010
15 years 26 days ago
2010
The implementation of Bayesian predictive procedures under standard normal models is considered. Two distributions are of particular interest, the K-prime and Ksquare distribution...
86
Voted
EOR
2010
15 years 26 days ago
2010
We study a firm that makes new products in the first period and uses returned cores to make remanufactured products (along with new products) in future periods. The remanufactured...