Search Sciweavers | Sciweavers

10304 search results - page 316 / 2061

» Computer science with the sciences: an emphasis in computati...

142

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 »

126

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 »

155

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 »

167

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 »

127

click to vote

GI
2000
Springer

77views Theoretical Computer Science» more GI 2000»

GETESS: Zum Einsatz einer Abstract-Datenbank als Index einer Internet-Suchmaschine

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers