Sciweavers

5900 search results - page 350 / 1180
» Dependable Systems
Sort
View
ICISS
2010
Springer
15 years 4 months ago
Stamp-It: A Method for Enhancing the Universal Verifiability of E2E Voting Systems
Existing proposals for end-to-end independently-verifiable (E2E) voting systems require that voters check the presence of a "receipt" on a secure bulletin board. The tall...
Mridul Nandi, Stefan Popoveniuc, Poorvi L. Vora
NAACL
2010
15 years 4 months ago
The Best Lexical Metric for Phrase-Based Statistical MT System Optimization
Translation systems are generally trained to optimize BLEU, but many alternative metrics are available. We explore how optimizing toward various automatic evaluation metrics (BLEU...
Daniel Cer, Christopher D. Manning, Daniel Jurafsk...
PIMRC
2010
IEEE
15 years 4 months ago
Low-complexity iteration control for MIMO-BICM systems
Air bandwidth is a precious resource for wireless communication. Multiple-antenna (MIMO) systems enable an increase in channel capacity without increasing the air bandwidth. An ite...
C. Gimmler, Timo Lehnigk-Emden, Norbert Wehn
HCI
2009
15 years 4 months ago
A Study on the Compatibility of Ubiquitous Learning (u-Learning) Systems at University Level
: Graz University of Technology has a long tradition in the design, development and research of university wide Learning Management Systems (LMS). Inspired by the iPhone Style, the...
Martin Ebner, Christian Stickel, Nick Scerbakov, A...
ICIP
2009
IEEE
15 years 4 months ago
New image processing challenges for jointly designed electro-optical imaging systems
Still-image processing algorithms are tailored to and depend crucially upon the properties of the class of images to which they are applied, for instance natural images in consumer...
M. Dirk Robinson, David G. Stork