182 search results - page 9 / 37 » Infinite Possibilities |
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Suppose we are given two probability measures on the set of one-way infinite finite-alphabet sequences and consider the question when one of the measures predicts the other, that ...
TSP
2010
13 years 2 months ago
2010
Time-delay estimation arises in many applications in which a multipath medium has to be identified from pulses transmitted through the channel. Previous methods for time delay reco...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We present an approach to type theory in which the typing judgments do not have explicit contexts. Instead of judgments of the shape A : B, our systems just have judgments of the ...
CADE
2008
Springer
14 years 7 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...
JCP
2007
13 years 7 months ago
2007
—This paper proposes the energy function of a power system with a Static Synchronous Series Compensator (SSSC). They make it possible for the direct method to acquire the transie...