Search Sciweavers | Sciweavers

5995 search results - page 101 / 1199

» Algorithmic Game Theory

204

click to vote

TSMC
2008

125views more TSMC 2008»

A Satisficing Approach to Aircraft Conflict Resolution

15 years 5 months ago

Download contentdm.lib.byu.edu

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...

claim paper

Read More »

125

click to vote

AAECC
2007
Springer

90views Algorithms» more AAECC 2007»

Algebraic Structure Theory of Tail-Biting Trellises

16 years 15 days ago

Download drona.csa.iisc.ernet.in

Priti Shankar

claim paper

Read More »

140

click to vote

COCO
2000
Springer

100views Algorithms» more COCO 2000»

An Application of Matroid Theory to the SAT Problem

15 years 10 months ago

Download www.cs.swan.ac.uk

Oliver Kullmann

claim paper

Read More »

270

click to vote

LCC
1994

193views Algorithms» more LCC 1994»

Expressing Computational Complexity in Constructive Type Theory

15 years 10 months ago

Download ce.sharif.edu

Robert L. Constable

claim paper

Read More »

138

click to vote

ASIAN
2007
Springer

88views Algorithms» more ASIAN 2007»

Dimensions of Declassification in Theory and Practice

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers