6978 search results - page 1095 / 1396 » On Proofs in System P |
144
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this work we derive the maximum likelihood estimator for passive wavefront curvature ranging systems operating in environments subject to a spatial coherence loss. As a consequ...
176
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper presents and evaluates an inverse filtering technique of the speech signal which is based on the Stabilized Weighted Linear Prediction (SWLP) of speech [1]. SWLP empha...
173
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
A major factor which causes a deterioration in speech quality in HMM-based speech synthesis is the use of a simple delta pulse signal to generate the excitation of voiced speech. ...
332
click to vote
DLOG
2011
14 years 10 months ago
2011
This paper examines a new technique based on tableau, that allows one to introduce composition of roles from the right hand side of complex role inclusion axioms (RIAs). Our motiva...
234
click to vote
ICDCN
2011
Springer
14 years 10 months ago
2011
Springer
In this paper, we propose to use graph-mining techniques to understand the communication pattern within a data-centre. We model the communication observed within a data-centre as a...