J
John Cocke
Researcher at IBM
Publications - 54
Citations - 10836
John Cocke is an academic researcher from IBM. The author has contributed to research in topics: Address space & Logical address. The author has an hindex of 28, co-authored 54 publications receiving 10603 citations.
Papers
More filters
Journal ArticleDOI
Optimal decoding of linear codes for minimizing symbol error rate (Corresp.)
TL;DR: The general problem of estimating the a posteriori probabilities of the states and transitions of a Markov source observed through a discrete memoryless channel is considered and an optimal decoding algorithm is derived.
Journal ArticleDOI
A statistical approach to machine translation
Peter Fitzhugh Brown,John Cocke,Stephen A. Della Pietra,Vincent J. Della Pietra,F. Jelinek,John Lafferty,Robert Leroy Mercer,Paul S. Roossin +7 more
TL;DR: The application of the statistical approach to translation from French to English and preliminary results are described and the results are given.
Journal ArticleDOI
A methodology for the real world
Gregory J. Chaitin,Marc Alan Auslander,Ashok K. Chandra,John Cocke,Martin Edward Hopkins,Peter Willy Markstein +5 more
TL;DR: Preliminary results of an experimental implementation in a PL/I optimizing compiler suggest that global register allocation approaching that of hand-coded assembly language may be attainable.
Patent
Method and system for natural language translation
Peter Fitzhugh Brown,John Cocke,Stephen A. Della Pietra,Vincent J. Della Pietra,Frederick Jelinek,Jennifer Lai,Robert Leroy Mercer +6 more
TL;DR: In this article, a system for translating text from a first source language into a second target language is presented. But the system is not suitable for the task of human translation. But it can be used as an aid to a human translator to perform one or more of the stages of source transduction, hypothesis generation, and target transduction.
Journal ArticleDOI
A program data flow analysis procedure
Frances E. Allen,John Cocke +1 more
TL;DR: The global data relationships in a program can be exposed and codified by the static analysis methods described in this paper.