812 search results - page 93 / 163 » corr 2007 |
CORR
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. Metric Temporal Logic (MTL) is a prominent specification formalism for realtime systems. In this paper, we show that the satisfiability problem for MTL over finite tim...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
There is a huge amount of historical documents in libraries and in various National Archives that have not been exploited electronically. Although automatic reading of complete pa...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
We apply the replica method to analyze vector precoding, a method to reduce transmit power in antenna array communications. The analysis applies to a very general class of channel...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
E-Laboratories are important components of elearning environments, especially in scientific and technical disciplines. First widespread E-Labs consisted in proposing simulations o...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
— We study the problem of decentralized sequential change detection with conditionally independent observations. The sensors form a star topology with a central node called fusio...