982 search results - page 130 / 197 » Reduction Relations for Agent Models |
130
click to vote
LFCS
1992
Springer
15 years 4 months ago
1992
Springer
This paper addresses the problem of extending the formulae-as-types principle to classical logic. More precisely, we introduce a typed lambda-calculus (-LK ) whose inhabited types...
119
Voted
CSL
2004
Springer
15 years 19 days ago
2004
Springer
Recent approaches to large vocabulary decoding with finite state graphs have focused on the use of state minimization algorithms to produce relatively compact graphs. This paper e...
90
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
This paper presents a discriminative training (DT) approach to irrelevant variability normalization (IVN) based training of feature transforms and hidden Markov models for large v...
128
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
Some recent dereverberation approaches that have been effective for automatic speech recognition (ASR) applications, model reverberation as a linear convolution operation in the s...
95
Voted
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— This paper investigates the impact of channel bandwidth on fading in wireless channels using indoor measurements. The variation of channel energy over a local region is...