7758 search results - page 1200 / 1552 » On the Number of Distributive Lattices |
213
click to vote
IJCAI
2003
15 years 8 months ago
2003
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...
165
click to vote
ISCAPDCS
2003
15 years 8 months ago
2003
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 ...
169
Voted
ISICT
2003
15 years 8 months ago
2003
Abstract. The advent of context-aware computing requires a new paradigm in information management. Context information in a computing environment will take the form of disparate an...
187
click to vote
WSC
2001
15 years 8 months ago
2001
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...
156
click to vote
WSC
2001
15 years 8 months ago
2001
Multitrajectory Simulation allows random events in a simulation to generate multiple trajectories. Management techniques have been developed to manage the choices of trajectories ...