Sciweavers

4118 search results - page 561 / 824
» Efficient Algorithms for Airline Problem
Sort
View
HPDC
1998
IEEE
15 years 9 months ago
Matchmaking: Distributed Resource Management for High Throughput Computing
Conventional resource management systems use a system model to describe resources and a centralized scheduler to control their allocation. We argue that this paradigm does not ada...
Rajesh Raman, Miron Livny, Marvin H. Solomon
SIGGRAPH
1998
ACM
15 years 9 months ago
Reproducing Color Images Using Custom Inks
We investigate the general problem of reproducing color images on an offset press using custom inks in any combination and number. While this problem has been explored previously ...
Eric J. Stollnitz, Victor Ostromoukhov, David Sale...
KDD
1994
ACM
96views Data Mining» more  KDD 1994»
15 years 9 months ago
DICE: A Discovery Environment Integrating Inductive Bias
: Most of Knowledge Discovery in Database (KDD) systems are integrating efficient Machine Learning techniques. In fact issues in Machine Learning and KDD are very close allowing fo...
Jean-Daniel Zucker, Vincent Corruble, J. Thomas, G...
FAW
2009
Springer
118views Algorithms» more  FAW 2009»
15 years 8 months ago
Space-Query-Time Tradeoff for Computing the Visibility Polygon
Abstract. Computing the visibility polygon, VP, of a point in a polygonal scene, is a classical problem that has been studied extensively. In this paper, we consider the problem of...
Mostafa Nouri, Mohammad Ghodsi
ATVA
2004
Springer
138views Hardware» more  ATVA 2004»
15 years 8 months ago
Providing Automated Verification in HOL Using MDGs
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
Tarek Mhamdi, Sofiène Tahar