4985 search results - page 77 / 997 » Observation of String-Rewriting Systems |
234
click to vote
NFM
2011
14 years 10 months ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
112
click to vote
TR
2010
14 years 10 months ago
2010
Abstract--We examine optimal repair strategies for wind turbines operated under stochastic weather conditions. In-situ sensors installed at wind turbines produce useful information...
138
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
We study a multi-cell frequency-selective fading uplink channel from K user terminals (UTs) to B base stations (BSs). The BSs, assumed to be oblivious of the applied encoding sche...
100
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper, we propose examining the participants in various meetings or communications within a social network, and using sequential inference based on these participant lists...
143
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
—For a long time, signal processing applications, and most particularly detection and parameter estimation methods, have relied on the limiting behaviour of test statistics and e...