462 search results - page 58 / 93 » Symbolic Bounded Synthesis |
104
click to vote
AUTOMATICA
2005
15 years 1 months ago
2005
This paper presents an algorithm for robust optimal control of regular languages under specified uncertainty bounds on the event cost parameters of the language measure that has b...
113
click to vote
TSP
2010
14 years 8 months ago
2010
We propose structural multidimensional multi-channel filter banks with desirable numbers of vanishing moments for the analysis and synthesis banks. For a two-channel filter bank, w...
128
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
A well studied special case of bin packing is the 3-partition problem, where n items of size > 1 4 have to be packed in a minimum number of bins of capacity one. The famous Kar...
110
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Distributed source coding is traditionally viewed in the block coding context -- all the source symbols are known in advance at the encoders. This paper instead considers a stream...
110
click to vote
JSAC
2006
15 years 1 months ago
2006
It has been shown that distributed turbo coding (DTC) can approach the capacity of a wireless relay network. In the existing DTC schemes, it is usually assumed that error-free deco...