1034 search results - page 102 / 207 » Competitive generalized auctions |
FMCAD
2008
Springer
13 years 12 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...
AAAI
2004
13 years 11 months ago
2004
The resource-constrained project scheduling problem with time windows (RCPSP/max) is an important generalization of a number of well studied scheduling problems. In this paper, we...
AIPS
2003
13 years 11 months ago
2003
We present a case study in confronting the GPT generalpurpose planner with the challenging power supply restoration (PSR) benchmark for contingent planning. PSR is derived from a ...
AMC
2010
13 years 10 months ago
2010
The paper deals with the numerical solution of inverse Sturm-Liouville problems with unknown potential symmetric over the interval [0, ]. The proposed method is based on the use o...
COR
1999
13 years 10 months ago
1999
We present a selective survey of the main results obtained in spatial economic theory. Our focus is on "rm location. We start with the simplest location problem and proceed t...