Sciweavers

27354 search results - page 5094 / 5471
» Distributed And Parallel Computing
Sort
View
IJCAI
2003
15 years 8 months ago
Practical Partition-Based Theorem Proving for Large Knowledge Bases
Query answering over commonsense knowledge bases typically employs a first-order logic theorem prover. While first-order inference is intractable in general, provers can often b...
Bill MacCartney, Sheila A. McIlraith, Eyal Amir, T...
ISCAPDCS
2003
15 years 8 months ago
Job Management in Grids of MOSIX Clusters
EnFuzion and MOSIX are two packages that represent different approaches to cluster management. EnFuzion is a user-level queuing system that can dispatch a predetermined number of ...
David Abramson, Amnon Barak, Colin Enticott
ISCAPDCS
2003
15 years 8 months ago
GRESS - a Grid Replica Selection Service
Grid technologies and infrastructures facilitate distributed resource sharing and coordination in dynamic, heterogeneous, multi-institutional environments. A replica catalog is a ...
Yong Zhao, Yu Hu
WSC
2001
15 years 8 months ago
Quantile and histogram estimation
This paper discusses implementation of a sequential procedure to construct proportional half-width confidence intervals for a simulation estimator of the steady-state quantiles an...
E. Jack Chen, W. David Kelton
WSC
2004
15 years 8 months ago
Simulation-Based Optimization for Material Dispatching in a Retailer Network
This paper presents preliminary work done on simulationbased optimization of a stochastic material-dispatching system in a retailer network. The problem we consider is one of dete...
Ganesh Subramaniam, Abhijit Gosavi
« Prev « First page 5094 / 5471 Last » Next »