9325 search results - page 467 / 1865 » The decentralized implementability problem |
160
click to vote
AAAI
1997
15 years 8 months ago
1997
We report on the performance of an enhanced version of the “Davis-Putnam” (DP) proof procedure for propositional satisfiability (SAT) on large instances derived from realworld...
142
click to vote
NIPS
1998
15 years 8 months ago
1998
Fraud causes substantial losses to telecommunication carriers. Detection systems which automatically detect illegal use of the network can be used to alleviate the problem. Previo...
145
Voted
WSC
1997
15 years 8 months ago
1997
In this paper, the case of a cardboard box marketing firm is studied and a (R,s,Q,c) inventory replenishment policy is proposed and evaluated by means of discrete event simulation...
154
click to vote
AIPS
1994
15 years 8 months ago
1994
Generating production-quality plans is an essential element in transforming planners from research tools into real-world applications. However most of the work to date on learning...
183
click to vote
DAGSTUHL
1994
15 years 8 months ago
1994
A strategy for working with incomplete information is called competitive if it solves each problem instance at a cost not exceeding the cost of an optimal solution (with full info...