Sciweavers

51 search results - page 2 / 11

» birthday 2004

7

BIRTHDAY
2004
Springer

111views Applied Computing» more BIRTHDAY 2004»

Building Optimal Binary Search Trees from Sorted Values in O(N) Time

13 years 10 months ago

Building Optimal Binary Search Trees from Sorted Values in O(N) Time

Download www.iro.umontreal.ca

Jean G. Vaucher

claim paper

Read More »

7

BIRTHDAY
2004
Springer

113views Applied Computing» more BIRTHDAY 2004»

An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language

13 years 10 months ago

An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language

Download formal.cs.uiuc.edu

Gul Agha, Prasanna Thati

claim paper

Read More »

7

BIRTHDAY
2004
Springer

86views Applied Computing» more BIRTHDAY 2004»

Mathematical Proofs at a Crossroad?

13 years 10 months ago

Mathematical Proofs at a Crossroad?

Download www.cs.auckland.ac.nz

Cristian Calude, Solomon Marcus

claim paper

Read More »

5

BIRTHDAY
2004
Springer

68views Applied Computing» more BIRTHDAY 2004»

Towards the Verifying Compiler

13 years 10 months ago

Towards the Verifying Compiler

Download www.macs.hw.ac.uk

C. A. R. Hoare

claim paper

Read More »

5

BIRTHDAY
2004
Springer

83views Applied Computing» more BIRTHDAY 2004»

Rectangles and Squares Recognized by Two-Dimensional Automata

13 years 10 months ago

Rectangles and Squares Recognized by Two-Dimensional Automata

Download www.santafe.edu

Jarkko Kari, Cristopher Moore

claim paper

Read More »

« Prev « First page 2 / 11 Last » Next »