2233 search results - page 164 / 447 » On the Complexity of Theory Curbing |
125
click to vote
WSC
2000
15 years 7 months ago
2000
Airpower's strength lies in quickly striking the enemy directly where they are vulnerable while being unhampered by geography and surface forces. Airpower theory suggests the...
182
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We consider collusion in multi-unit auctions where the allocation and payments are determined using the VCG mechanism. We show how collusion can increase the utility of the collud...
167
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
It is well known that classical set theory is not expressive enough to adequately model categorization and prototype theory. Recent work on compositionality and concept determinat...
134
click to vote
JSYML
2008
15 years 6 months ago
2008
When restricted to proving q i formulas, the quantified propositional proof system G i is closely related to the b i theorems of Buss's theory Si 2. Namely, G i has polynomial...
159
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
This paper addresses the computation of the required trajectory correction maneuvers (TCM) for a halo orbit space mission to compensate for the launch velocity errors introduced b...