The Donald E. Knuth Prize is a prize for outstanding contributions to the foundations of computer science, named after Donald E. Knuth.

Semantic Scholar uses AI to extract papers important to this topic.

2014

2014

- Ravi Kannan
- SIGACT News
- 2014

The Donald E. Knuth Prize for outstanding contributions to the foundations of computer science is awarded annually by the ACMâ€¦Â (More)

Is this relevant?

2012

2012

- Hendrik C. Ferreira, Jos H. Weber, Carl H. Heymann, S. K.A., Immink
- 2012

In this reported work, Knuthâ€™s balancing scheme, which was originally developed for unconstrained binary codewords is adaptedâ€¦Â (More)

Is this relevant?

2008

2008

- Florentin Smarandache, V. Christianto
- ArXiv
- 2008

We extend Knuth's 16 Boolean binary logic operators to fuzzy logic and neutrosophic logic binary operators. Then we generalizeâ€¦Â (More)

Is this relevant?

2006

2006

There exist several general techniques in the literature for speeding up naive implementations of dynamic programming. Two of theâ€¦Â (More)

Is this relevant?

2002

2002

- Lane A. Hemaspaandra
- SIGACT News
- 2002

This current issue's guest column is by Bill Gasarch, and reports on a poll he has conducted on the most famous open question inâ€¦Â (More)

Is this relevant?

1996

1996

- Luca G. Tallini, Renato M. Capocelli, Bella Bose
- IEEE Trans. Information Theory
- 1996

approved: Dr. Bella Bose A balanced code with r check bits and k information bits is a binary code of length k r and cardinalityâ€¦Â (More)

Is this relevant?

1989

1989

- Richard S. Bird, Jeremy Gibbons, Geraint Jones
- Sci. Comput. Program.
- 1989

This paper is devoted to the synthesis of a functional version of the Knuth-MorrisPratt algorithm for pattern matching. Thisâ€¦Â (More)

Is this relevant?

1986

1986

- Peter Kirschenhofer, Helmut Prodinger
- ICALP
- 1986

Our purpose in this paper is the study of digital search trees, (binary) tries and Patricia tries ; a wealth of information aboutâ€¦Â (More)

Is this relevant?

1981

1981

- Nachum Dershowitz, Shmuel Zaks
- CAAP
- 1981

In this paper we consider the class T of ordered trees with n edges and give n combinntorial proofs to several enumerationâ€¦Â (More)

Is this relevant?

1981

1981

- S. R. Patrick
- ACL
- 1981

The Transformatlonal question Answering (TqA) system was developed over a period of time beginning in the early part of the lastâ€¦Â (More)

Is this relevant?