Sciweavers

2941 search results - page 21 / 589

» The Myth of the Educational Computer

114

CORR
2006
Springer

82views Education» more CORR 2006»

Higher-Order Termination: from Kruskal to Computability

15 years 4 months ago

Higher-Order Termination: from Kruskal to Computability

Download www-rocq.inria.fr

Frédéric Blanqui, Jean-Pierre Jouann...

claim paper

Read More »

85

CORR
2006
Springer

98views Education» more CORR 2006»

Asynchronous iterative computations with Web information retrieval structures: The PageRank case

15 years 4 months ago

Asynchronous iterative computations with Web information retrieval structures: The PageRank case

Download www.math.temple.edu

Giorgios Kollias, Efstratios Gallopoulos, Daniel B...

claim paper

Read More »

86

CORR
2006
Springer

94views Education» more CORR 2006»

A Generic Lazy Evaluation Scheme for Exact Geometric Computations

15 years 4 months ago

A Generic Lazy Evaluation Scheme for Exact Geometric Computations

Download lcsd.cs.tamu.edu

Sylvain Pion, Andreas Fabri

claim paper

Read More »

62

CORR
2007
Springer

106views Education» more CORR 2007»

A Backtracking-Based Algorithm for Computing Hypertree-Decompositions

15 years 4 months ago

A Backtracking-Based Algorithm for Computing Hypertree-Decompositions

Download www.ics.uci.edu

Georg Gottlob, Marko Samer

claim paper

Read More »

80

CORR
2007
Springer

124views Education» more CORR 2007»

Computer Science and Game Theory: A Brief Survey

15 years 4 months ago

Computer Science and Game Theory: A Brief Survey

Download www.cs.cornell.edu

Joseph Y. Halpern

claim paper

Read More »

« Prev « First page 21 / 589 Last » Next »