13841 search results - page 2453 / 2769 » Algorithms and Constraint Programming |
147
click to vote
CONCUR
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it assumes a complete isolation between a library and ...
159
click to vote
KDD
2004
ACM
16 years 4 months ago
2004
ACM
We present and empirically analyze a machine-learning approach for detecting intrusions on individual computers. Our Winnowbased algorithm continually monitors user and system beh...
146
click to vote
RECOMB
2005
Springer
16 years 4 months ago
2005
Springer
Recombination is an important evolutionary mechanism responsible for the genetic diversity in humans and other organisms. Recently, there has been extensive research on understandi...
154
click to vote
STOC
2005
ACM
16 years 4 months ago
2005
ACM
We introduce a new graph parameter, called the Grothendieck constant of a graph G = (V, E), which is defined as the least constant K such that for every A : E R, sup f:V S|V |-1 ...
151
click to vote
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
In this paper we extend the study of flow-energy scheduling to a model that allows both sleep management and speed scaling. Our main result is a sleep management algorithm called I...