2989 search results - page 390 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
117
Voted
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— TCP is known to have bandwidth fairness problems for flows of different RTT. HighSpeed TCP, which adapts TCP’s congestion avoidance to grow faster, and thus be able to scale...
129
Voted
DISOPT
2007
15 years 2 months ago
2007
The class Max (r, 2)-CSP (or simply Max 2-CSP) consists of constraint satisfaction problems with at most two r-valued variables per clause. For instances with n variables and m bin...
127
click to vote
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
146
click to vote
JCB
2006
15 years 2 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
131
click to vote
KDD
2005
ACM
16 years 3 months ago
2005
ACM
Addressed in this paper is the issue of `email data cleaning' for text mining. Many text mining applications need take emails as input. Email data is usually noisy and thus i...