7978 search results - page 653 / 1596 » Combining shared-coin algorithms |
171
click to vote
LPAR
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
176
click to vote
MFCS
2005
Springer
16 years 22 days ago
2005
Springer
We study online interval coloring problems with bandwidth. We are interested in some variants motivated by bin packing problems. Specifically we consider open-end coloring, cardin...
183
click to vote
EVOW
2005
Springer
16 years 20 days ago
2005
Springer
In this paper, we combine a powerful representation for graph colouring problems with different heuristic strategies for colour assignment. Our novel strategies employ heuristics ...
194
click to vote
SIGIR
2004
ACM
16 years 20 days ago
2004
ACM
This paper proposes a novel, unified, and systematic approach to combine collaborative and content-based filtering for ranking and user preference prediction. The framework inco...
244
click to vote
WOSP
2004
ACM
16 years 20 days ago
2004
ACM
This paper analyzes the performability of client-server applications that use a separate fault management architecture for monitoring and controlling of the status of the applicat...