4118 search results - page 179 / 824 » Efficient Algorithms for Airline Problem |
130
click to vote
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
Fairness is an essential requirement of any operating system scheduler. Unfortunately, existing fair scheduling algorithms are either inaccurate or inefficient and non-scalable fo...
159
click to vote
INFORMATICALT
2008
15 years 3 months ago
2008
Abstract. Data stream mining has become a novel research topic of growing interest in knowledge discovery. Most proposed algorithms for data stream mining assume that each data blo...
135
click to vote
COLT
2010
Springer
15 years 1 months ago
2010
Springer
Recent advances in large-margin classification of data residing in general metric spaces (rather than Hilbert spaces) enable classification under various natural metrics, such as ...
125
click to vote
ASPDAC
2009
ACM
15 years 7 months ago
2009
ACM
The post-T/pre-T trace refers to the trace captured before/after a target point is reached, respectively. Real time compression of the post-T trace in a circular buffer is a challe...
132
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...