Search Sciweavers | Sciweavers

10392 search results - page 344 / 2079

» Introduction to Computer Science

144

click to vote

ACSC
2006
IEEE

95views Theoretical Computer Science» more ACSC 2006»

Logic and refinement for charts

15 years 10 months ago

Download crpit.com

We introduce a logic for reasoning about and constructing refinements for

Greg Reeve, Steve Reeves

claim paper

Read More »

127

click to vote

ACSC
2006
IEEE

82views Theoretical Computer Science» more ACSC 2006»

Rule sets based bilevel decision model

15 years 10 months ago

Download www.intsci.ac.cn

Z. Zheng, G. Zhang, Q. He, J. Lu, Z. Shi

claim paper

Read More »

159

click to vote

BALT
2006

207views Theoretical Computer Science» more BALT 2006»

Methods for a Synchronised Evolution of Databases and Associated Ontologies

15 years 10 months ago

Download research.rmutp.ac.th

Andreas Kupfer, Silke Eckstein, Britta Störma...

claim paper

Read More »

141

click to vote

FOCS
2004
IEEE

103views Theoretical Computer Science» more FOCS 2004»

The Price of Stability for Network Design with Fair Cost Allocation

15 years 10 months ago

Download www.cs.cornell.edu

Elliot Anshelevich, Anirban Dasgupta, Jon M. Klein...

claim paper

Read More »

168

click to vote

FOCS
2004
IEEE

86views Theoretical Computer Science» more FOCS 2004»

Exponentially Many Steps for Finding a Nash Equilibrium in a Bimatrix Game

15 years 10 months ago

Download www.maths.lse.ac.uk

The Lemke

Rahul Savani, Bernhard von Stengel

claim paper

Read More »

« Prev « First page 344 / 2079 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers