Sciweavers

3488 search results - page 476 / 698
» On Feedback for Network Coding
Sort
View
FM
2008
Springer
77views Formal Methods» more  FM 2008»
15 years 8 months ago
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
Tom Ridge, Michael Norrish, Peter Sewell
SERVICES
2010
119views more  SERVICES 2010»
15 years 8 months ago
The Networked Environment for Music Analysis (NEMA)
Abstract--Conducting valid comparative evaluations of techniques in the field of Music Information Retrieval (MIR) presents particular challenges to MIR researchers due to issues o...
Kris West, Amit Kumar, Andrew Shirk, Guojun Zhu, J...
NIPS
1994
15 years 8 months ago
A Connectionist Technique for Accelerated Textual Input: Letting a Network Do the Typing
Each yearpeoplespendahugeamountoftimetyping. Thetextpeopletype typically contains a tremendousamount of redundancy due to predictable word usage patterns and the text's struc...
Dean Pomerleau
CORR
2006
Springer
108views Education» more  CORR 2006»
15 years 6 months ago
Scheduling and Codeword Length Optimization in Time Varying Wireless Networks
Abstract-- In this paper, a downlink scenario in which a singleantenna base station communicates with K single antenna users, over a time-correlated fading channel, is considered. ...
Mehdi Ansari Sadrabadi, Alireza Bayesteh, Amir K. ...
CORR
2010
Springer
116views Education» more  CORR 2010»
15 years 5 months ago
Progressive Decoding for Data Availability and Reliability in Distributed Networked Storage
—To harness the ever growing capacity and decreasing cost of storage, providing an abstraction of dependable storage in the presence of crash-stop and Byzantine failures is compu...
Yunghsiang Han, Soji Omiwade, Rong Zheng