Sciweavers

51 search results - page 2 / 11

» birthday 2004

24

BIRTHDAY
2004
Springer

111views Applied Computing» more BIRTHDAY 2004»

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

14 years 4 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 »

17

BIRTHDAY
2004
Springer

113views Applied Computing» more BIRTHDAY 2004»

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

14 years 4 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 »

21

BIRTHDAY
2004
Springer

86views Applied Computing» more BIRTHDAY 2004»

Mathematical Proofs at a Crossroad?

14 years 4 months ago

Mathematical Proofs at a Crossroad?

Download www.cs.auckland.ac.nz

Cristian Calude, Solomon Marcus

claim paper

Read More »

17

BIRTHDAY
2004
Springer

68views Applied Computing» more BIRTHDAY 2004»

Towards the Verifying Compiler

14 years 4 months ago

Towards the Verifying Compiler

Download www.macs.hw.ac.uk

C. A. R. Hoare

claim paper

Read More »

16

BIRTHDAY
2004
Springer

83views Applied Computing» more BIRTHDAY 2004»

Rectangles and Squares Recognized by Two-Dimensional Automata

14 years 4 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 »