Sciweavers

1054 search results - page 188 / 211
» Translation Validation of System Abstractions
Sort
View
WEBI
2010
Springer
15 years 2 months ago
Expertise Matching via Constraint-Based Optimization
Abstract--Expertise matching, aiming to find the alignment between experts and queries, is a common problem in many real applications such as conference paper-reviewer assignment, ...
Wenbin Tang, Jie Tang, Chenhao Tan
WOTE
2010
15 years 2 months ago
Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...
Stéphanie Delaune, Steve Kremer, Mark Ryan
142
Voted
TSP
2010
14 years 11 months ago
SNR estimation for multilevel constellations using higher-order moments
Abstract--The performance of existing moments-based nondata-aided (NDA) estimators of signal-to-noise ratio (SNR) in digital communication systems substantially degrades with multi...
Marcos Álvarez-Díaz, Roberto L&oacut...
CISS
2010
IEEE
14 years 8 months ago
Compressive sampling for streaming signals with sparse frequency content
Abstract—Compressive sampling (CS) has emerged as significant signal processing framework to acquire and reconstruct sparse signals at rates significantly below the Nyquist rate...
Petros Boufounos, M. Salman Asif
170
Voted
DLOG
2011
14 years 8 months ago
Repairing Incomplete Reasoners
Abstract. The pressing need for scalable query answering has motivated the development of many incomplete ontology-based reasoners. Improving the completeness of such systems witho...
Giorgos Stoilos, Bernardo Cuenca Grau