Sciweavers

8094 search results - page 340 / 1619
» Improvements in Formula Generalization
Sort
View
160
Voted
INFOCOM
2003
IEEE
15 years 11 months ago
An Analytical Study of a Tradeoff Between Transmission Power and FEC for TCP Optimization in Wireless Networks
- It is well known that TCP has performance problems when wireless links are involved in the end-to-end connection. This is due to the high bit error rate characterizing wireless l...
Laura Galluccio, Giacomo Morabito, Sergio Palazzo
INFOCOM
2002
IEEE
15 years 11 months ago
Adaptive Load Sharing for Network Processors
—A novel scheme for processing packets in a router is presented that provides load sharing among multiple network processors distributed within the router. It is complemented by ...
Lukas Kencl, Jean-Yves Le Boudec
VL
2002
IEEE
107views Visual Languages» more  VL 2002»
15 years 11 months ago
Reasoning about Many-to-Many Requirement Relationships in Spreadsheets
To help improve the reliability of spreadsheets created by end users, we are working to allow users to communicate the purpose and other underlying information about their spreads...
Laura Beckwith, Margaret M. Burnett, Curtis R. Coo...
MM
2000
ACM
87views Multimedia» more  MM 2000»
15 years 10 months ago
Giving meanings to WWW images
Images are increasingly being embedded in HTML documents on the WWW. Such documents over the WWW essentially provides a rich source of image collection from which users can query....
Heng Tao Shen, Beng Chin Ooi, Kian-Lee Tan
AUSAI
2007
Springer
15 years 10 months ago
Advances in Local Search for Satisfiability
In this paper we describe a stochastic local search (SLS) procedure for finding satisfying models of satisfiable propositional formulae. This new algorithm, gNovelty+ , draws on th...
Duc Nghia Pham, John Thornton, Charles Gretton, Ab...