David R. Cok

Person

Rochester, NY, US

People

Patents Grantslast 30 patents

Information Patent Grant
Systems and/or methods for type inference from machine code
- Patent number 10,942,718
- Issue date Mar 9, 2021
- GrammaTech, Inc.
- Matthew Noonan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Deductive verification for programs using functional programming fe...
- Patent number 10,733,074
- Issue date Aug 4, 2020
- Amazon Technologies, Inc.
- David R. Cok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and/or methods for type inference from machine code
- Patent number 10,423,397
- Issue date Sep 24, 2019
- GrammaTech, Inc.
- Matthew Noonan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for acquisition of related graphical material in...
- Patent number 6,813,618
- Issue date Nov 2, 2004
- Alexander C. Loui
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for computing motion tracking parameters
- Patent number 6,750,900
- Issue date Jun 15, 2004
- Eastman Kodak Company
- David R. Cok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for correcting pixel values in a digital image
- Patent number 6,104,839
- Issue date Aug 15, 2000
- Eastman Kodak Company
- David Roy Cok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for removing temporal lighting variations from...
- Patent number 6,097,837
- Issue date Aug 1, 2000
- Eastman Kodak Company
- David R. Cok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for finding the center of approximately circular...
- Patent number 6,084,986
- Issue date Jul 4, 2000
- Eastman Kodak Company
- David R. Cok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and article of manufacture for producing an index print from...
- Patent number 5,905,580
- Issue date May 18, 1999
- Eastman Kodak Company
- David R. Cok
- G03 - PHOTOGRAPHY CINEMATOGRAPHY ELECTROGRAPHY HOLOGRAPHY
Information Patent Grant
Gradient based method for providing values for unknown pixels in a...
- Patent number 5,875,040
- Issue date Feb 23, 1999
- Eastman Kodak Company
- Tomasz Andrzej Matraszek
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Computer program product for generating a soft edge on a digital mask
- Patent number 5,828,379
- Issue date Oct 27, 1998
- Eastman Kodak Company
- David R. Cok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Computer program product for defining a soft edge in a digital mask
- Patent number 5,801,710
- Issue date Sep 1, 1998
- Eastman Kodak Company
- David R. Cok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method of adjusting image pixel values within an image sequence by...
- Patent number 5,793,886
- Issue date Aug 11, 1998
- Eastman Kodak Company
- David R. Cok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Adjusting film grain properties in digital images
- Patent number 5,641,596
- Issue date Jun 24, 1997
- Eastman Kodak Company
- Robert T. Gray
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Pixel value estimation technique using non-linear prediction
- Patent number 5,631,979
- Issue date May 20, 1997
- Eastman Kodak Company
- David R. Cok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Cloning technique for digital image retouching
- Patent number 5,555,194
- Issue date Sep 10, 1996
- Eastman Kodak Company
- David R. Cok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for adjusting the luminance of a color signal
- Patent number 5,398,077
- Issue date Mar 14, 1995
- Eastman Kodak Company
- David R. Cok
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Airbrush modeling routine for an electric image reproduction system
- Patent number 5,276,510
- Issue date Jan 4, 1994
- Eastman Kodak Company
- David R. Cok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Mechanism for deriving noise-reduced estimates of color signal para...
- Patent number 5,264,924
- Issue date Nov 23, 1993
- Eastman Kodak Company
- David R. Cok
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Method for merging images
- Patent number 5,185,808
- Issue date Feb 9, 1993
- Eastman Kodak Company
- David R. Cok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Mechanism for eliminating colored shadow/highlight errors in scanne...
- Patent number 5,097,335
- Issue date Mar 17, 1992
- Eastman Kodak Company
- David R. Cok
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Method of processing sampled signal valves produced by a color imag...
- Patent number 5,040,064
- Issue date Aug 13, 1991
- Eastman Kodak Company
- David R. Cok
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Mechanism for producing interpolated color values for a sampled col...
- Patent number 5,032,910
- Issue date Jul 16, 1991
- Eastman Kodak Company
- David R. Cok
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Neighborhood-based merging of image data
- Patent number 5,022,085
- Issue date Jun 4, 1991
- Eastman Kodak Company
- David R. Cok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Apparatus and accompanying methods for achieving automatic color ba...
- Patent number 4,945,406
- Issue date Jul 31, 1990
- Eastman Kodak Company
- David R. Cok
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Method for doing interactive image processing operations on large i...
- Patent number 4,910,611
- Issue date Mar 20, 1990
- Eastman Kodak Company
- David R. Cok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Signal processing method and apparatus for producing interpolated c...
- Patent number 4,642,678
- Issue date Feb 10, 1987
- Eastman Kodak Company
- David R. Cok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Signal processing method and apparatus for sampled image signals
- Patent number 4,630,307
- Issue date Dec 16, 1986
- Eastman Kodak Company
- David R. Cok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Single-chip electronic color camera with color-dependent birefringe...
- Patent number 4,605,956
- Issue date Aug 12, 1986
- Eastman Kodak Company
- David R. Cok
- H04 - ELECTRIC COMMUNICATION TECHNIQUE

Patents Applicationslast 30 patents

Information Patent Application
SYSTEMS AND/OR METHODS FOR TYPE INFERENCE FROM MACHINE CODE
- Publication number 20190391797
- Publication date Dec 26, 2019
- GrammaTech, Inc.
- Matthew NOONAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND/OR METHODS FOR TYPE INFERENCE FROM MACHINE CODE
- Publication number 20180189042
- Publication date Jul 5, 2018
- GrammaTech, Inc.
- Matthew NOONAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for acquisition of related graphical material in...
- Publication number 20050010602
- Publication date Jan 13, 2005
- Alexander C. Loui
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method of producing a multimedia media
- Publication number 20030110209
- Publication date Jun 12, 2003
- Alexander C. Loui
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for authoring a multimedia enabled disc
- Publication number 20030007784
- Publication date Jan 9, 2003
- Alexander C. Loui
- G11 - INFORMATION STORAGE

David R. Cok

Person

Patents Grantslast 30 patents

Systems and/or methods for type inference from machine code

Deductive verification for programs using functional programming fe...

Systems and/or methods for type inference from machine code

System and method for acquisition of related graphical material in...

Method and apparatus for computing motion tracking parameters

Method and apparatus for correcting pixel values in a digital image

Method and apparatus for removing temporal lighting variations from...

System and method for finding the center of approximately circular...

System and article of manufacture for producing an index print from...

Gradient based method for providing values for unknown pixels in a...

Computer program product for generating a soft edge on a digital mask

Computer program product for defining a soft edge in a digital mask

Method of adjusting image pixel values within an image sequence by...

Adjusting film grain properties in digital images

Pixel value estimation technique using non-linear prediction

Cloning technique for digital image retouching

Method for adjusting the luminance of a color signal

Airbrush modeling routine for an electric image reproduction system

Mechanism for deriving noise-reduced estimates of color signal para...

Method for merging images

Mechanism for eliminating colored shadow/highlight errors in scanne...

Method of processing sampled signal valves produced by a color imag...

Mechanism for producing interpolated color values for a sampled col...

Neighborhood-based merging of image data

Apparatus and accompanying methods for achieving automatic color ba...

Method for doing interactive image processing operations on large i...

Signal processing method and apparatus for producing interpolated c...

Signal processing method and apparatus for sampled image signals

Single-chip electronic color camera with color-dependent birefringe...

Patents Applicationslast 30 patents

SYSTEMS AND/OR METHODS FOR TYPE INFERENCE FROM MACHINE CODE

SYSTEMS AND/OR METHODS FOR TYPE INFERENCE FROM MACHINE CODE

System and method for acquisition of related graphical material in...

Method of producing a multimedia media

System and method for authoring a multimedia enabled disc