Sciweavers

4287 search results - page 286 / 858
» Minimal Mental Models
Sort
View
TSP
2008
105views more  TSP 2008»
15 years 7 months ago
A Fresh Look at the Bayesian Bounds of the Weiss-Weinstein Family
Minimal bounds on the mean square error (MSE) are generally used in order to predict the best achievable performance of an estimator for a given observation model. In this paper, w...
Alexandre Renaux, Philippe Forster, Pascal Larzaba...
IFIP
2009
Springer
15 years 5 months ago
Game-Based Verification of Multi-Party Contract Signing Protocols
A multi-party contract signing (MPCS) protocol is used for a group of signers to sign a digital contract over a network. We analyse the protocols of Mukhamedov and Ryan (MR), and o...
Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw
JLP
2011
160views more  JLP 2011»
15 years 2 months ago
Axiomatizability of representable domain algebras
The family of domain algebras provide an elegant formal system for automated reasoning about programme verification. Their primary models are algebras of relations, viz. represen...
Robin Hirsch, Szabolcs Mikulás
188
Voted
INTERSPEECH
2010
15 years 2 months ago
Data pruning for template-based automatic speech recognition
In this paper we describe and analyze a data pruning method in combination with template-based automatic speech recognition. We demonstrate the positive effects of polishing the t...
Dino Seppi, Dirk Van Compernolle
195
Voted
ICASSP
2011
IEEE
14 years 11 months ago
A simple network-power-saving resource allocation method for OFDMA cellular networks with multiple relays
General signal model for orthogonal-frequency-division multiple access cellular networks with multiple amplify-and-forward relays has been introduced. An optimization problem mini...
Jingon Joung, Sumei Sun