Sciweavers

5995 search results - page 101 / 1199
» Algorithmic Game Theory
Sort
View
164
Voted
TSMC
2008
125views more  TSMC 2008»
15 years 2 months ago
A Satisficing Approach to Aircraft Conflict Resolution
Future generations of air traffic management systems may give appropriately equipped aircraft the freedom to change flight paths in real time. This would require a conflict avoidan...
James K. Archibald, Jared C. Hill, N. A. Jepsen, W...
95
Voted
AAECC
2007
Springer
90views Algorithms» more  AAECC 2007»
15 years 9 months ago
Algebraic Structure Theory of Tail-Biting Trellises
Priti Shankar
114
Voted
COCO
2000
Springer
100views Algorithms» more  COCO 2000»
15 years 7 months ago
An Application of Matroid Theory to the SAT Problem
Oliver Kullmann
241
Voted
LCC
1994
193views Algorithms» more  LCC 1994»
15 years 7 months ago
Expressing Computational Complexity in Constructive Type Theory
Robert L. Constable
114
Voted
ASIAN
2007
Springer
88views Algorithms» more  ASIAN 2007»
15 years 7 months ago
Dimensions of Declassification in Theory and Practice
Andrei Sabelfeld