4985 search results - page 77 / 997 » Observation of String-Rewriting Systems |
NFM
2011
13 years 5 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...
TR
2010
13 years 4 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...
ICASSP
2011
IEEE
13 years 1 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...
ICASSP
2011
IEEE
13 years 1 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...
CORR
2011
Springer
13 years 1 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...