Sciweavers

3457 search results - page 304 / 692
» A Symbol Is Not a Symbol
Sort
View
GLOBECOM
2007
IEEE
15 years 6 months ago
Doppler Spread Estimation for Broadband Wireless OFDM Systems
Abstract— In this paper, we present a new Doppler spread estimation algorithm for broadband wireless orthogonal frequency division multiplexing (OFDM) systems with time-varying a...
Jun Tao, Jingxian Wu, Chengshan Xiao
CP
2000
Springer
15 years 10 months ago
Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees
We are interested in the expressiveness of constraints represented by general first order formulae, with equality as unique relation symbol and function symbols taken from an infi...
Alain Colmerauer, Thi-Bich-Hanh Dao
JSAI
2005
Springer
16 years 5 days ago
Learning Stochastic Logical Automaton
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...
Hiroaki Watanabe, Stephen Muggleton
ICASSP
2010
IEEE
15 years 6 months ago
Multipoint-to-point and point-to-multipoint space-time network coding
Traditional cooperative communications can improve communication reliability. However, the simultaneous transmissions from multiple relays are challenging in practice due to the i...
Hung-Quoc Lai, K. J. Ray Liu
OOPSLA
2010
Springer
15 years 5 months ago
Teaching and training developer-testing techniques and tool support
Developer testing is a type of testing where developers test their code as they write it, as opposed to testing done by a separate quality assurance organization. Developer testin...
Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wo...