1034 search results - page 102 / 207 » Competitive generalized auctions |
97
Voted
FMCAD
2008
Springer
15 years 2 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...
92
Voted
AAAI
2004
15 years 2 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...
73
Voted
AIPS
2003
15 years 2 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 ...
76
Voted
AMC
2010
15 years 22 days 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...
84
Voted
COR
1999
15 years 8 days 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...