Sciweavers

1562 search results - page 15 / 313
» Convenience Over Correctness
Sort
View
ICC
2007
IEEE
15 years 4 months ago
Computing Maximum-Likelihood Bounds for Reed-Solomon Codes over Partial Response Channels
Abstract—Computing maximum-likelihood bounds on the performance of systems involving partial response (PR) channels, with or without an error correcting code present, is rather c...
Richard M. Todd, J. R. Cruz
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 4 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
95
Voted
ICN
2001
Springer
15 years 2 months ago
A System Level Framework for Streaming 3-D Meshes over Packet Networks
In this paper, a system-level framework is proposed for 3-D graphics streaming. The proposed architecture is scalable with respect to the variations in both bandwidth and channel e...
Ghassan Al-Regib, Yucel Altunbasak
ICAT
2006
IEEE
15 years 3 months ago
The Design and Implementation of the Cicada Wireless Sensor Network Indoor Localization System
The wireless sensor network based localization system—Cicada is designed to support the locationawareness in indoor environment. The system is based on TDOA (time difference of ...
Wenfeng Jiang, Yu Chen, Yuanchun Shi, Yunfeng Sun
91
Voted
ACL
2011
14 years 1 months ago
Automated Whole Sentence Grammar Correction Using a Noisy Channel Model
Automated grammar correction techniques have seen improvement over the years, but there is still much room for increased performance. Current correction techniques mainly focus on...
Y. Albert Park, Roger Levy